diff --git a/source/exec.tex b/source/exec.tex
index e1870a2de9..29a55e11a7 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -4884,7 +4884,7 @@
   });
 \end{codeblock}
 
-\rSec3[exec.associate]{\tcode{std::execution::associate}}
+\rSec3[exec.associate]{\tcode{execution::associate}}
 
 \pnum
 \tcode{associate} tries to associate
@@ -5141,7 +5141,7 @@
 may cause side effects observable
 via \tcode{token}{'s} associated async scope object.
 
-\rSec3[exec.stop.when]{Exposition-only \tcode{std::execution::\exposid{stop-when}}}
+\rSec3[exec.stop.when]{Exposition-only \tcode{execution::\exposid{stop-when}}}
 
 \pnum
 %%FIXME: Should stop-when be declared somewhere as \expos?
@@ -5217,7 +5217,7 @@
 \end{itemize}
 \end{itemize}
 
-\rSec3[exec.spawn.future]{\tcode{std::execution::spawn_future}}
+\rSec3[exec.spawn.future]{\tcode{execution::spawn_future}}
 
 \pnum
 \tcode{spawn_future} attempts to associate the given input sender
@@ -5830,7 +5830,7 @@
 \end{itemize}
 \end{itemize}
 
-\rSec3[exec.spawn]{\tcode{std::execution::spawn}}
+\rSec3[exec.spawn]{\tcode{execution::spawn}}
 
 \pnum
 \tcode{spawn} attempts to associate the given input sender with