diff --git a/spec/design/skel/ARM/Arch_Structs_B.thy b/spec/design/skel/ARM/Arch_Structs_B.thy
index c1fa38cbcf..17bfcf1cd3 100644
--- a/spec/design/skel/ARM/Arch_Structs_B.thy
+++ b/spec/design/skel/ARM/Arch_Structs_B.thy
@@ -4,7 +4,7 @@
  * SPDX-License-Identifier: GPL-2.0-only
  *)
 
-(* Architecture-specific data types shared by spec and abstract. *)
+(* Architecture-specific data types shared by design and abstract specs. *)
 
 chapter "Common, Architecture-Specific Data Types"
 
diff --git a/spec/design/skel/ARM_HYP/Arch_Structs_B.thy b/spec/design/skel/ARM_HYP/Arch_Structs_B.thy
index 3d656b6ffa..9e524bdd1d 100644
--- a/spec/design/skel/ARM_HYP/Arch_Structs_B.thy
+++ b/spec/design/skel/ARM_HYP/Arch_Structs_B.thy
@@ -4,7 +4,7 @@
  * SPDX-License-Identifier: GPL-2.0-only
  *)
 
-(* Architecture-specific data types shared by spec and abstract. *)
+(* Architecture-specific data types shared by design and abstract specs. *)
 
 chapter "Common, Architecture-Specific Data Types"
 
diff --git a/spec/design/skel/RISCV64/Arch_Structs_B.thy b/spec/design/skel/RISCV64/Arch_Structs_B.thy
index e72cb1c672..3257881b5b 100644
--- a/spec/design/skel/RISCV64/Arch_Structs_B.thy
+++ b/spec/design/skel/RISCV64/Arch_Structs_B.thy
@@ -4,7 +4,7 @@
  * SPDX-License-Identifier: GPL-2.0-only
  *)
 
-(* Architecture-specific data types shared by spec and abstract. *)
+(* Architecture-specific data types shared by design and abstract specs. *)
 
 chapter "Common, Architecture-Specific Data Types"