diff --git a/source/basic.tex b/source/basic.tex
index 7ada14976a..5acab361d1 100644
--- a/source/basic.tex
+++ b/source/basic.tex
@@ -3655,7 +3655,7 @@
 
 X x;
 void bar() {
-  xp = &x;                      // OK; type is ``pointer to \tcode{X}''
+  xp = &x;                      // OK: type is ``pointer to \tcode{X}''
   arrp = &arr;                  // ill-formed: different types
   xp++;                         // OK:  \tcode{X} is complete
   arrp++;                       // ill-formed: \tcode{UNKA} can't be completed
diff --git a/source/declarators.tex b/source/declarators.tex
index b61d7af591..710f1d76c6 100644
--- a/source/declarators.tex
+++ b/source/declarators.tex
@@ -1948,7 +1948,7 @@
   int a;
   int mem1(int i = a);          // error: non-static member \tcode{a}
                                 // used as default argument
-  int mem2(int i = b);          // OK;  use \tcode{X::b}
+  int mem2(int i = b);          // OK:  use \tcode{X::b}
   static int b;
 };
 \end{codeblock}
@@ -3857,7 +3857,7 @@
 enum byte : unsigned char { };
 byte b { 42 };                      // OK
 byte c = { 42 };                    // error
-byte d = byte{ 42 };                // OK; same value as \tcode{b}
+byte d = byte{ 42 };                // OK: same value as \tcode{b}
 byte e { -1 };                      // error
 
 struct A { byte b; };
diff --git a/source/templates.tex b/source/templates.tex
index dee529c7c7..cacd07a877 100644
--- a/source/templates.tex
+++ b/source/templates.tex
@@ -7206,7 +7206,7 @@
 };
 
 using R = long;
-using R = C<A<2>>::Q;    // OK; \tcode{T} was deduced to \tcode{long} from the
+using R = C<A<2>>::Q;    // OK: \tcode{T} was deduced to \tcode{long} from the
                          // template argument value in the type \tcode{A<2>}
 \end{codeblock}
 \end{example}
@@ -7219,7 +7219,7 @@
 };
 
 using V = decltype(sizeof 0);
-using V = S<int[42]>::Q; // OK; \tcode{T} was deduced to \tcode{std::size_t} from the type \tcode{int[42]}
+using V = S<int[42]>::Q; // OK: \tcode{T} was deduced to \tcode{std::size_t} from the type \tcode{int[42]}
 \end{codeblock}
 \end{example}
 
@@ -7410,7 +7410,7 @@
 Y<> y1;                         // use primary template; \tcode{Types} is empty
 Y<int&, float&, double&> y2;    // uses partial specialization; \tcode{T} is \tcode{int\&}, \tcode{Types} contains \tcode{float}, \tcode{double}
 Y<int, float, double> y3;       // uses primary template; \tcode{Types} contains \tcode{int}, \tcode{float}, \tcode{double}
-int fv = f(g);                  // OK; \tcode{Types} contains \tcode{int}, \tcode{float}
+int fv = f(g);                  // OK: \tcode{Types} contains \tcode{int}, \tcode{float}
 \end{codeblock}
 
 \end{example}
diff --git a/source/utilities.tex b/source/utilities.tex
index c384e87e2c..21cfc2bc07 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -5298,7 +5298,7 @@
 const any y(cat);                           // \tcode{const y} holds \tcode{string}
 assert(any_cast<const string&>(y) == cat);
 
-any_cast<string&>(y);                       // error; cannot
+any_cast<string&>(y);                       // error: cannot
                                             // \tcode{any_cast} away const
 \end{codeblock}
 \end{example}