diff --git a/source/iterators.tex b/source/iterators.tex
index 8a2967da6c..7a8c8b6ff7 100644
--- a/source/iterators.tex
+++ b/source/iterators.tex
@@ -950,6 +950,9 @@
 for an iterator of class type \tcode{I}
 that does not support \tcode{operator->}.
 Additionally, in the case of an output iterator, the types
+\indexlibrarymember{value_type}{iterator_traits}%
+\indexlibrarymember{difference_type}{iterator_traits}%
+\indexlibrarymember{reference}{iterator_traits}%
 \begin{codeblock}
 iterator_traits<I>::value_type
 iterator_traits<I>::difference_type
@@ -1028,11 +1031,11 @@
 \tcode{iterator_traits<I>}
 has the following publicly accessible members:
 \begin{codeblock}
-using iterator_category = I::iterator_category;
-using value_type        = I::value_type;
-using difference_type   = I::difference_type;
-using pointer           = @\seebelow@;
-using reference         = I::reference;
+using @\libmember{iterator_category}{iterator_traits}@ = I::iterator_category;
+using @\libmember{value_type}{iterator_traits}@        = I::value_type;
+using @\libmember{difference_type}{iterator_traits}@   = I::difference_type;
+using @\libmember{pointer}{iterator_traits}@           = @\seebelow@;
+using @\libmember{reference}{iterator_traits}@         = I::reference;
 \end{codeblock}
 If the \grammarterm{qualified-id} \tcode{I::pointer} is valid and
 denotes a type, then \tcode{iterator_traits<I>::pointer} names that type;
@@ -1107,7 +1110,7 @@
 
 \pnum
 Explicit or partial specializations of \tcode{iterator_traits} may
-have a member type \tcode{iterator_concept} that is used to indicate
+have a member type \tcode{\libmember{iterator_concept}{iterator_traits}} that is used to indicate
 conformance to the iterator concepts\iref{iterator.concepts}.
 \begin{example}
 To indicate conformance to the \libconcept{input_iterator} concept