diff --git a/source/meta.tex b/source/meta.tex
index 6d07c732cb..7a8fc40a0a 100644
--- a/source/meta.tex
+++ b/source/meta.tex
@@ -5835,8 +5835,8 @@
 direct base class relationship, or
 data member description.
 \item
-If \tcode{dealias(r)} represents a type $T$,
-there is a point within the evaluation context from which $T$ is not incomplete.
+If \tcode{dealias(r)} represents a type,
+then \tcode{is_complete_type(r)} is \tcode{true}.
 \end{itemize}
 \end{itemdescr}
 
@@ -7032,8 +7032,8 @@
 \item
   \tcode{annotations_of(item)} is a constant expression and
 \item
-  \tcode{dealias(type)} represents a type that is complete
-  from some point in the evaluation context.
+  \tcode{dealias(type)} represents a type and
+  \tcode{is_complete_type(type)} is \tcode{true}.
 \end{itemize}
 \end{itemdescr}