diff --git a/source/expressions.tex b/source/expressions.tex
index c628349682..d113667e6d 100644
--- a/source/expressions.tex
+++ b/source/expressions.tex
@@ -6703,13 +6703,13 @@
 that represents a template shall not be followed by \tcode{<}.
 \begin{example}
 \begin{codeblock}
-static_assert(std::meta::is_type(^^int()));     // \tcode{\caret\caret} applies to the type-id \tcode{int()}
+static_assert(std::meta::is_type(^^int()));     // \tcode{\caret\caret} applies to the \grammarterm{type-id} \tcode{int()}
 
 template<bool> struct X {};
 consteval bool operator<(std::meta::info, X<false>) { return false; }
 consteval void g(std::meta::info r, X<false> xv) {
   r == ^^int && true;       // error: \tcode{\caret\caret} applies to the \grammarterm{type-id} \tcode{int\&\&}
-  r == ^^int & true;        // error: \tcode{\caret\caret} applies to the type-id \tcode{int\&}
+  r == ^^int & true;        // error: \tcode{\caret\caret} applies to the \grammarterm{type-id} \tcode{int\&}
   r == (^^int) && true;     // OK
   r == ^^int &&&& true;     // error: \tcode{int \&\&\&\&} is not a valid \grammarterm{type-id}
   ^^X < xv;                 // error: \grammarterm{reflect-expression} that represents a template is followed by \tcode{<}