diff --git a/source/exec.tex b/source/exec.tex
index f49dbdbd55..95255107fe 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -9253,7 +9253,7 @@
 \pnum
 \recommended
 If \tcode{P} is \tcode{inplace_stop_token} and
-\tcode{T} is a type other than \tcode{inplace_stop_token}
+the type of \tcode{q(env)} is a type other than \tcode{inplace_stop_token}
 that models \libconcept{stoppable_token},
 \tcode{try_query} should return an object of type \tcode{inplace_stop_token}
 such that until one of