diff --git a/certora/scripts/verifyERC1155Pausable.sh b/certora/scripts/verifyERC1155Pausable.sh
index 9af2aa8c4..2c41d9f54 100755
--- a/certora/scripts/verifyERC1155Pausable.sh
+++ b/certora/scripts/verifyERC1155Pausable.sh
@@ -8,4 +8,4 @@ certoraRun \
     --loop_iter 3 \
     --send_only \
     --cloud \
-    --msg "ERC1155 Pausable verification"
+    --msg "ERC1155 Pausable verification all rules"
diff --git a/certora/scripts/verifyERC1155Supply.sh b/certora/scripts/verifyERC1155Supply.sh
index 43f5b3797..09db4a55a 100755
--- a/certora/scripts/verifyERC1155Supply.sh
+++ b/certora/scripts/verifyERC1155Supply.sh
@@ -8,4 +8,4 @@ certoraRun \
     --loop_iter 3 \
     --cloud \
     --send_only \
-    --msg "ERC1155 Supply verification"
+    --msg "ERC1155 Supply verification all rules"
diff --git a/certora/specs/ERC1155Supply.spec b/certora/specs/ERC1155Supply.spec
index 8956a537a..cd894f6f7 100644
--- a/certora/specs/ERC1155Supply.spec
+++ b/certora/specs/ERC1155Supply.spec
@@ -35,12 +35,12 @@ filtered {
 
 rule singleTokenSafeTransferFromSafeBatchTransferFromEquivalence {
     assert false, 
-    "TODO implement this rule using burn version as structural model"
+    "TODO implement this rule using burn version as structural model";
 }
 
 rule multipleTokenSafeTransferFromSafeBatchTransferFromEquivalence {
     assert false, 
-    "TODO implement this rule using burn version as structural model"
+    "TODO implement this rule using burn version as structural model";
 }
 
 /******************************************************************************/