diff --git a/source/exec.tex b/source/exec.tex
index ad7f167c3c..b817fb9642 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -1796,7 +1796,7 @@
     }
 
     auto get_env() const noexcept -> @\exposid{env-type}@<Index, Sndr, Rcvr> {
-      return @\exposid{impls-for}@<tag-t>::@\exposid{get-env}@(Index(), @\exposidnc{op}@->@\exposid{state}@, @\exposidnc{op}@->@\exposid{rcvr}@);
+      return @\exposid{impls-for}@<@\exposid{tag-t}@>::@\exposid{get-env}@(Index(), @\exposidnc{op}@->@\exposid{state}@, @\exposidnc{op}@->@\exposid{rcvr}@);
     }
 
     @\exposidnc{basic-state}@<Sndr, Rcvr>* @\exposidnc{op}@;                                // \expos
@@ -1824,7 +1824,7 @@
 
     void start() & noexcept {
       auto& [...ops] = @\exposid{inner-ops}@;
-      @\exposid{impls-for}@<tag-t>::@\exposid{start}@(this->@\exposid{state}@, this->@\exposid{rcvr}@, ops...);
+      @\exposid{impls-for}@<@\exposid{tag-t}@>::@\exposid{start}@(this->@\exposid{state}@, this->@\exposid{rcvr}@, ops...);
     }
   };
 
@@ -4054,7 +4054,7 @@
 \end{codeblock}
 
 \pnum
-\tcode{\exposid{impls-for}<\exposid{decayed-typeof}<let-cpo>>::\exposid{complete}}
+\tcode{\exposid{impls-for}<\exposid{decayed-typeof}<\exposid{let-cpo}>>::\exposid{complete}}
 is initialized with a callable object equivalent to the following:
 \begin{codeblock}
 []<class Tag, class... Args>
diff --git a/source/ranges.tex b/source/ranges.tex
index c93b855ec9..c084d19ac7 100644
--- a/source/ranges.tex
+++ b/source/ranges.tex
@@ -11944,7 +11944,7 @@
 \begin{itemdecl}
 template<bool OtherConst>
   requires (@\libconcept{sentinel_for}@<sentinel_t<@\exposid{maybe-const}@<Const, Views>>,
-                         iterator_t<maybe-const<OtherConst, Views>>> && ...)
+                         iterator_t<@\exposid{maybe-const}@<OtherConst, Views>>> && ...)
 friend constexpr bool operator==(const @\exposid{iterator}@<OtherConst>& x, const @\exposid{sentinel}@& y);
 \end{itemdecl}