diff --git a/source/exec.tex b/source/exec.tex
index 47ac14dfc2..d7fca2c22f 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -969,7 +969,7 @@
 \item \tcode{auto(\exposid{AS-CONST}(env).query(get_domain))}.
 \item \tcode{get_completion_domain<set_value_t>(get_scheduler(env), \exposid{HIDE-SCHED}(env))}.
 \item \tcode{default_domain()}, except that \tcode{env} is evaluated.
-\end{itemize}.
+\end{itemize}
 
 \pnum
 \tcode{forwarding_query(execution::get_domain)} is