diff --git a/source/utilities.tex b/source/utilities.tex
index 78f27b093d..2d6ac81372 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -9105,7 +9105,7 @@
 \pnum
 \mandates
 \tcode{U} is a specialization of \tcode{expected} and
-\tcode{is_same_v<U::error_type, E>} is \tcode{true}.
+\tcode{is_same_v<typename U::error_type, E>} is \tcode{true}.
 
 \pnum
 \effects
@@ -9136,7 +9136,7 @@
 \pnum
 \mandates
 \tcode{U} is a specialization of \tcode{expected} and
-\tcode{is_same_v<U::error_type, E>} is \tcode{true}.
+\tcode{is_same_v<typename U::error_type, E>} is \tcode{true}.
 
 \pnum
 \effects
@@ -9166,7 +9166,7 @@
 \pnum
 \mandates
 \tcode{G} is a specialization of \tcode{expected} and
-\tcode{is_same_v<G::value_type, T>} is \tcode{true}.
+\tcode{is_same_v<typename G::value_type, T>} is \tcode{true}.
 
 \pnum
 \effects
@@ -9197,7 +9197,7 @@
 \pnum
 \mandates
 \tcode{G} is a specialization of \tcode{expected} and
-\tcode{is_same_v<G::value_type, T>} is \tcode{true}.
+\tcode{is_same_v<typename G::value_type, T>} is \tcode{true}.
 
 \pnum
 \effects
@@ -10085,7 +10085,7 @@
 \pnum
 \mandates
 \tcode{U} is a specialization of \tcode{expected} and
-\tcode{is_same_v<U::error_type, E>} is \tcode{true}.
+\tcode{is_same_v<typename U::error_type, E>} is \tcode{true}.
 
 \pnum
 \effects
@@ -10115,7 +10115,7 @@
 \pnum
 \mandates
 \tcode{U} is a specialization of \tcode{expected} and
-\tcode{is_same_v<U::error_type, E>} is \tcode{true}.
+\tcode{is_same_v<typename U::error_type, E>} is \tcode{true}.
 
 \pnum
 \effects
@@ -10141,7 +10141,7 @@
 \pnum
 \mandates
 \tcode{G} is a specialization of \tcode{expected} and
-\tcode{is_same_v<G::value_type, T>} is \tcode{true}.
+\tcode{is_same_v<typename G::value_type, T>} is \tcode{true}.
 
 \pnum
 \effects
@@ -10168,7 +10168,7 @@
 \pnum
 \mandates
 \tcode{G} is a specialization of \tcode{expected} and
-\tcode{is_same_v<G::value_type, T>} is \tcode{true}.
+\tcode{is_same_v<typename G::value_type, T>} is \tcode{true}.
 
 \pnum
 \effects