diff --git a/source/exec.tex b/source/exec.tex
index d08f145304..3f32c2c351 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -2136,7 +2136,7 @@
 }
 \end{codeblock}
 \begin{note}
-of \exposid{env-promise} are used only for the purpose of type computation;
+Specializations of \exposid{env-promise} are used only for the purpose of type computation;
 its members need not be defined.
 \end{note}