diff --git a/source/meta.tex b/source/meta.tex
index b473f67b7e..0ba01d61b5 100644
--- a/source/meta.tex
+++ b/source/meta.tex
@@ -6118,10 +6118,15 @@
   otherwise, the value of \tcode{expr}.
 \end{itemize}
 
+\pnum
+Let \tcode{TCls} be the invented template:
+\begin{codeblock}
+template<T P> struct TCls;
+\end{codeblock}
+
 \pnum
 \returns
-\tcode{template_arguments_of(\reflexpr{TCls<$V$>})[0]},
-with \tcode{TCls} as defined below.
+\tcode{template_arguments_of(\reflexpr{TCls<$V$>})[0]}.
 \begin{note}
 This is a reflection of an object for class types,
 and a reflection of a value otherwise.
@@ -6130,11 +6135,7 @@
 \pnum
 \throws
 \tcode{meta::exception} unless
-the \grammarterm{template-id} \tcode{TCls<$V$>} would be valid
-given the invented template
-\begin{codeblock}
-template<T P> struct TCls;
-\end{codeblock}
+the \grammarterm{template-id} \tcode{TCls<$V$>} would be valid.
 
 \pnum
 \begin{example}