diff --git a/Doc/lib/librand.tex b/Doc/lib/librand.tex
index 0660566..4ba5f17 100644
--- a/Doc/lib/librand.tex
+++ b/Doc/lib/librand.tex
@@ -8,6 +8,8 @@
 compatibility, the \code{rand} module is now considered obsolete; if
 possible, use the \code{whrandom} module instead.
 
+\renewcommand{\indexsubitem}{(in module rand)}
+
 \begin{funcdesc}{choice}{seq}
 Returns a random element from the sequence \var{seq}.
 \end{funcdesc}
diff --git a/Doc/librand.tex b/Doc/librand.tex
index 0660566..4ba5f17 100644
--- a/Doc/librand.tex
+++ b/Doc/librand.tex
@@ -8,6 +8,8 @@
 compatibility, the \code{rand} module is now considered obsolete; if
 possible, use the \code{whrandom} module instead.
 
+\renewcommand{\indexsubitem}{(in module rand)}
+
 \begin{funcdesc}{choice}{seq}
 Returns a random element from the sequence \var{seq}.
 \end{funcdesc}