diff --git a/source/declarations.tex b/source/declarations.tex
index 3ab795752b..627360a226 100644
--- a/source/declarations.tex
+++ b/source/declarations.tex
@@ -249,7 +249,7 @@
 
 \pnum
 If the \grammarterm{decl-specifier-seq} contains the \keyword{typedef}
-specifier, the declaration is a \defnx{typedef declaration}{declaration!typedef}
+specifier, the declaration is a \defnx{typedef declaration}{declaration!\idxcode{typedef}}
 and each \grammarterm{declarator-id}
 is declared to be a \grammarterm{typedef-name}\iref{dcl.typedef}.
 \begin{note}
@@ -740,6 +740,8 @@
 \rSec2[dcl.typedef]{The \keyword{typedef} specifier}%
 \indextext{specifier!\idxcode{typedef}}
 
+\indextext{declaration!\idxcode{typedef}}%
+\indextext{declaration!\idxcode{typedef}|see{alias, type}}%
 \pnum
 Declarations containing the \grammarterm{decl-specifier} \keyword{typedef}
 declare \defnadjx{type}{aliases}{alias}.
@@ -764,7 +766,6 @@
 The underlying entity of the type alias is
 the type associated with the \grammarterm{identifier}\iref{dcl.decl}
 or \grammarterm{simple-template-id}\iref{temp.pre}.
-\indextext{declaration!typedef@\tcode{typedef} as type}%
 \indextext{equivalence!type}%
 A \grammarterm{typedef-name} does not introduce a new type the way a class
 declaration\iref{class.name} or enum declaration\iref{dcl.enum} does.