diff --git a/DynamoDbEncryption/dafny/DynamoDbEncryption/Model/DynamoDbEncryption.smithy b/DynamoDbEncryption/dafny/DynamoDbEncryption/Model/DynamoDbEncryption.smithy
index b4fa422a0..64b4c82ac 100644
--- a/DynamoDbEncryption/dafny/DynamoDbEncryption/Model/DynamoDbEncryption.smithy
+++ b/DynamoDbEncryption/dafny/DynamoDbEncryption/Model/DynamoDbEncryption.smithy
@@ -873,7 +873,6 @@ structure CreateDynamoDbEncryptionBranchKeyIdSupplierOutput {
   branchKeyIdSupplier: BranchKeyIdSupplierReference 
 }
 
-/////////////
 // Errors
 
 @error("client")
diff --git a/DynamoDbEncryption/dafny/DynamoDbItemEncryptor/Model/DynamoDbItemEncryptor.smithy b/DynamoDbEncryption/dafny/DynamoDbItemEncryptor/Model/DynamoDbItemEncryptor.smithy
index d128547b4..ae11f9361 100644
--- a/DynamoDbEncryption/dafny/DynamoDbItemEncryptor/Model/DynamoDbItemEncryptor.smithy
+++ b/DynamoDbEncryption/dafny/DynamoDbItemEncryptor/Model/DynamoDbItemEncryptor.smithy
@@ -224,7 +224,6 @@ structure AtomicPrimitivesReference {}
 @aws.polymorph#reference(service: aws.cryptography.dbEncryptionSdk.structuredEncryption#StructuredEncryption)
 structure StructuredEncryptionReference {}
 
-/////////////
 // Errors
 
 @error("client")
diff --git a/DynamoDbEncryption/dafny/StructuredEncryption/Model/StructuredEncryption.smithy b/DynamoDbEncryption/dafny/StructuredEncryption/Model/StructuredEncryption.smithy
index c44a6bc00..a8e2fff5d 100644
--- a/DynamoDbEncryption/dafny/StructuredEncryption/Model/StructuredEncryption.smithy
+++ b/DynamoDbEncryption/dafny/StructuredEncryption/Model/StructuredEncryption.smithy
@@ -405,7 +405,6 @@ list AuthList {
 @aws.polymorph#reference(service: aws.cryptography.primitives#AwsCryptographicPrimitives)
 structure AtomicPrimitivesReference {}
 
-/////////////
 // Errors
 
 @error("client")