diff --git a/source/exec.tex b/source/exec.tex
index f49dbdbd55..e7f3c33361 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -2931,11 +2931,11 @@
 \end{codeblock}
 Let \tcode{\exposid{transform-recurse}(dom, tag, s)} be
 the expression \tcode{\exposid{transformed-sndr}(dom, tag, s)}
-if\newline \tcode{\exposid{transformed-sndr}(dom, tag, s)} and \exposid{s}
+if\newline \tcode{\exposid{transformed-sndr}(dom, tag, s)} and \tcode{s}
 have the same type ignoring cv-qualifiers;
 otherwise, it is
 the expression \tcode{\exposid{transform-recurse}(dom2, tag, s2)}, where
-\tcode{s2} is \tcode{\exposid{transformed-sender}(dom, tag, s)} and
+\tcode{s2} is \tcode{\exposid{transformed-sndr}(dom, tag, s)} and
 \tcode{dom2} is \exposid{start-domain} if \tcode{tag} is \tcode{start}, and
 \tcode{\exposid{completion-domain}(s2)} otherwise.