diff --git a/source/templates.tex b/source/templates.tex
index 7d4eca1376..57cf2f8a79 100644
--- a/source/templates.tex
+++ b/source/templates.tex
@@ -2208,9 +2208,9 @@
 template<typename U>
   void g() requires CC<U*, C>;
 \end{codeblock}
-The normal form of the associated constraints of \tcode{f} is
-the concept-dependent constraint \tcode{CT<T, C>}.\\
-The normal form of the associated constraints of \tcode{g} is
+The associated constraints of \tcode{f} consist of
+the concept-dependent constraint \tcode{CT<U*, C>}.\\
+The associated constraints of \tcode{g} consist of
 the atomic constraint \tcode{true}.
 \end{example}