diff --git a/Doc/myformat.sty b/Doc/myformat.sty
index 50698b9d39c..c502c31f5d0 100644
--- a/Doc/myformat.sty
+++ b/Doc/myformat.sty
@@ -97,6 +97,7 @@
 
 % Add an index entry for a module
 \newcommand{\refmodule}[2]{\index{#1@{\tt#1} (#2module)}}
+\newcommand{\refmodindex}[1]{\refmodule{#1}{}}
 \newcommand{\refbimodindex}[1]{\refmodule{#1}{built-in }}
 \newcommand{\refstmodindex}[1]{\refmodule{#1}{standard }}