diff --git a/intTests/test_mir_unsafe_assume_spec/test.saw b/intTests/test_mir_unsafe_assume_spec/test.saw
index ff32e70085..5b650a3139 100644
--- a/intTests/test_mir_unsafe_assume_spec/test.saw
+++ b/intTests/test_mir_unsafe_assume_spec/test.saw
@@ -84,7 +84,7 @@ let side_spec_2 = do {
   mir_return (mir_term a);
 };
 
-// This spec is erroneous—see the comments below in the "Avoid unsoundness"
+// This spec is erroneous. See the comments below in the "Avoid unsoundness"
 // part of the test.
 let foo_spec = do {
   x <- mir_fresh_var "x" mir_u32;
diff --git a/intTests/test_mir_unsafe_assume_spec_statics/test.saw b/intTests/test_mir_unsafe_assume_spec_statics/test.saw
index 385b32deb3..dba9c543b9 100644
--- a/intTests/test_mir_unsafe_assume_spec_statics/test.saw
+++ b/intTests/test_mir_unsafe_assume_spec_statics/test.saw
@@ -23,7 +23,7 @@ let side_spec_2 = do {
   mir_return (mir_term a_init);
 };
 
-// This spec is erroneous—see the comments below in the "Avoid unsoundness"
+// This spec is erroneous. See the comments below in the "Avoid unsoundness"
 // part of the test.
 let foo_spec = do {
   let a_static = mir_static "test::A";