diff --git a/source/numerics.tex b/source/numerics.tex
index 2cf35199cd..7346a4e2ee 100644
--- a/source/numerics.tex
+++ b/source/numerics.tex
@@ -16785,8 +16785,8 @@
 \begin{codeblock}
 namespace std::simd {
   // \ref{simd.traits}, type traits
-  template<class T, class U = typename T::value_type> struct alignment;
-  template<class T, class U = typename T::value_type>
+  template<class T, class U = T::value_type> struct alignment;
+  template<class T, class U = T::value_type>
     constexpr size_t @\libmember{alignment_v}{simd}@ = alignment<T, U>::value;
 
   template<class T, class V> struct rebind { using type = @\seebelow@; };
@@ -17607,7 +17607,7 @@
 
 \indexlibrarymember{alignment}{simd}
 \begin{itemdecl}
-template<class T, class U = typename T::value_type> struct alignment { @\seebelow@ };
+template<class T, class U = T::value_type> struct alignment { @\seebelow@ };
 \end{itemdecl}
 
 \begin{itemdescr}
diff --git a/source/text.tex b/source/text.tex
index 473255ae52..705db45372 100644
--- a/source/text.tex
+++ b/source/text.tex
@@ -7136,7 +7136,7 @@
 
 \begin{codeblock}
 template<class T, class Context,
-         class Formatter = typename Context::template formatter_type<remove_const_t<T>>>
+         class Formatter = Context::template formatter_type<remove_const_t<T>>>
   concept @\defexposconcept{formattable-with}@ =                // \expos
     @\libconcept{semiregular}@<Formatter> &&
     requires(Formatter& f, const Formatter& cf, T&& t, Context fc,
@@ -9606,7 +9606,7 @@
 
   // \ref{re.regiter}, class template \tcode{regex_iterator}
   template<class BidirectionalIterator,
-           class charT = typename iterator_traits<BidirectionalIterator>::value_type,
+           class charT = iterator_traits<BidirectionalIterator>::value_type,
            class traits = regex_traits<charT>>
     class regex_iterator;
 
@@ -9617,7 +9617,7 @@
 
   // \ref{re.tokiter}, class template \tcode{regex_token_iterator}
   template<class BidirectionalIterator,
-           class charT = typename iterator_traits<BidirectionalIterator>::value_type,
+           class charT = iterator_traits<BidirectionalIterator>::value_type,
            class traits = regex_traits<charT>>
     class regex_token_iterator;
 
@@ -12299,7 +12299,7 @@
 \begin{codeblock}
 namespace std {
   template<class BidirectionalIterator,
-           class charT = typename iterator_traits<BidirectionalIterator>::value_type,
+           class charT = iterator_traits<BidirectionalIterator>::value_type,
            class traits = regex_traits<charT>>
     class regex_iterator {
     public:
@@ -12570,7 +12570,7 @@
 \begin{codeblock}
 namespace std {
   template<class BidirectionalIterator,
-           class charT = typename iterator_traits<BidirectionalIterator>::value_type,
+           class charT = iterator_traits<BidirectionalIterator>::value_type,
            class traits = regex_traits<charT>>
     class regex_token_iterator {
     public:
diff --git a/source/time.tex b/source/time.tex
index a29b08edf7..5b9a119f0f 100644
--- a/source/time.tex
+++ b/source/time.tex
@@ -65,7 +65,7 @@
   template<class Rep, class Period = ratio<1>> class duration;
 
   // \ref{time.point}, class template \tcode{time_point}
-  template<class Clock, class Duration = typename Clock::duration> class time_point;
+  template<class Clock, class Duration = Clock::duration> class time_point;
 }
 
 namespace std {
@@ -2216,7 +2216,7 @@
 \indexlibraryglobal{time_point}%
 \begin{codeblock}
 namespace std::chrono {
-  template<class Clock, class Duration = typename Clock::duration>
+  template<class Clock, class Duration = Clock::duration>
   class time_point {
   public:
     using clock    = Clock;
diff --git a/source/utilities.tex b/source/utilities.tex
index a284b4f137..020e8b1bef 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -101,7 +101,7 @@
   template<class T>
     struct @\exposidnc{cw-fixed-value}@;              // \expos
 
-  template<@\exposidnc{cw-fixed-value}@ X, class = typename decltype(X)::@\exposid{type}@>
+  template<@\exposidnc{cw-fixed-value}@ X, class = decltype(X)::@\exposid{type}@>
     struct constant_wrapper;
 
   template<class T>