diff --git a/source/exec.tex b/source/exec.tex
index 34d0a3ebd6..c369513ef5 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -2700,6 +2700,7 @@
 Otherwise,
 \tcode{(throw $except$, completion_signatures())}.
 \end{itemize}
+\end{itemdescr}
 
 \pnum
 Given a type \tcode{Env}, if
@@ -2707,7 +2708,6 @@
 \tcode{completion_signatures_of_t<Sndr, Env>}
 are both well-formed,
 they shall denote the same type.
-\end{itemdescr}
 
 \pnum
 Let \tcode{rcvr} be an rvalue