diff --git a/source/lib-intro.tex b/source/lib-intro.tex
index c873182185..e2e7c09ec8 100644
--- a/source/lib-intro.tex
+++ b/source/lib-intro.tex
@@ -530,10 +530,10 @@
 \rSec3[expos.only.entity]{Exposition-only entities, etc.}
 
 \pnum
-Several entities and \grammarterm{typedef-name}{s}
+Several entities
 defined in \ref{\firstlibchapter} through \ref{\lastlibchapter} and \ref{depr}
 are only defined for the purpose of exposition.
-The declaration of such an entity or \grammarterm{typedef-name}
+The declaration of such an entity
 is followed by a comment ending in \expos.
 
 \pnum
@@ -978,7 +978,7 @@
 \pnum
 \indextext{item!freestanding|see{freestanding item}}%
 A \defn{freestanding item} is
-a declaration, entity, \grammarterm{typedef-name}, or macro
+a declaration, entity, or macro
 that is required to be present in
 a freestanding implementation and a hosted implementation.
 
@@ -1034,8 +1034,7 @@
 \pnum
 \indextext{entity!freestanding item}%
 \indextext{deduction guide!freestanding item}%
-\indextext{\idxgram{typedef-name}!freestanding item}%
-An entity, deduction guide, or \grammarterm{typedef-name}
+An entity or deduction guide
 is a freestanding item if its introducing declaration is not followed by
 a comment that includes \textit{hosted}, and is:
 \begin{itemize}
@@ -1045,7 +1044,7 @@
 \item a deduction guide of a freestanding item,
 \item an enclosing namespace of a freestanding item,
 \item a friend of a freestanding item,
-\item denoted by a \grammarterm{typedef-name} that is a freestanding item, or
+\item denoted by a type alias that is a freestanding item, or
 \item denoted by an alias template that is a freestanding item.
 \end{itemize}
 
@@ -1662,7 +1661,7 @@
 a (possibly empty) implementation-defined subset of
 the hosted library facilities.
 Unless otherwise specified, the requirements on
-each declaration, entity, \grammarterm{typedef-name}, and macro
+each declaration, entity, and macro
 provided in this way are the same as
 the corresponding requirements for a hosted implementation,
 except that not all of the members of the namespaces are required to be present.