diff --git a/source/lib-intro.tex b/source/lib-intro.tex
index e2e7c09ec8..175daa88d9 100644
--- a/source/lib-intro.tex
+++ b/source/lib-intro.tex
@@ -789,6 +789,11 @@
 predicate.
 A character sequence can be designated by a pointer value
 \tcode{\placeholder{S}} that points to its first element.
+\item
+\indextext{STATICALLY-WIDEN@\exposid{STATICALLY-WIDEN}}%
+Let \exposid{STATICALLY-WIDEN}\tcode{<charT>("...")} be
+\tcode{"..."} if \tcode{charT} is \tcode{char} and
+\tcode{L"..."} if \tcode{charT} is \keyword{wchar_t}.
 \end{itemize}
 
 \rSec5[byte.strings]{Byte strings}
diff --git a/source/time.tex b/source/time.tex
index d82346f75a..67b1b06b47 100644
--- a/source/time.tex
+++ b/source/time.tex
@@ -25,12 +25,6 @@
 \ref{ctime.syn}             & C library time utilities           & \tcode{<ctime>} \\
 \end{libsumtab}
 
-\pnum
-\indextext{STATICALLY-WIDEN@\exposid{STATICALLY-WIDEN}}%
-Let \exposid{STATICALLY-WIDEN}\tcode{<charT>("...")} be
-\tcode{"..."} if \tcode{charT} is \tcode{char} and
-\tcode{L"..."} if \tcode{charT} is \keyword{wchar_t}.
-
 \rSec1[time.syn]{Header \tcode{<chrono>} synopsis}
 
 \indexheader{chrono}%