diff --git a/source/exec.tex b/source/exec.tex
index f4e308d8e8..db884db924 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -5763,7 +5763,7 @@
       }, std::move(tuple));
     }
   });
-@\exposid{destroy}();
+@\exposid{destroy}@();
 \end{codeblock}
 \end{itemize}
 \end{itemdescr}