diff --git a/Doc/dist/dist.tex b/Doc/dist/dist.tex
index 18e535a3061..db4f1656786 100644
--- a/Doc/dist/dist.tex
+++ b/Doc/dist/dist.tex
@@ -3487,11 +3487,11 @@ defined.  The canonical example is the \command{install} command.
 %begin{latexonly}
 \renewcommand{\indexname}{Module Index}
 %end{latexonly}
-\input{modlib.ind}              % Module Index
+\input{moddist.ind}             % Module Index
 
 %begin{latexonly}
 \renewcommand{\indexname}{Index}
 %end{latexonly}
-\input{lib.ind}                 % Index
+\input{dist.ind}                % Index
 
 \end{document}