@@ -664,18 +664,19 @@
 \indextext{class name!\idxcode{typedef}}%
 \indextext{enum name!\idxcode{typedef}}%
 \indextext{class!unnamed}%
-If the typedef declaration defines an unnamed class or enumeration, the first
-\grammarterm{typedef-name} declared by the declaration to be that type
-is used to denote the type for linkage purposes only\iref{basic.link}.
+An unnamed class or enumeration $C$ defined in a typedef declaration has
+the first \grammarterm{typedef-name}
+declared by the declaration to be of type $C$
+as its \defn{typedef name for linkage purposes}\iref{basic.link}.
 \begin{note}
 A typedef declaration involving a \grammarterm{lambda-expression}
 does not itself define the associated closure type,
-and so the closure type is not given a name for linkage purposes.
+and so the closure type is not given a typedef name for linkage purposes.
 \end{note}
 \begin{example}
 \begin{codeblock}
-typedef struct { } *ps, S;      // \tcode{S} is the class name for linkage purposes
-typedef decltype([]{}) C;       // the closure type has no name for linkage purposes
+typedef struct { } *ps, S;      // \tcode{S} is the typedef name for linkage purposes
+typedef decltype([]{}) C;       // the closure type has no typedef name for linkage purposes
 \end{codeblock}
 \end{example}