\nodename{} must appear immediately after \section{} for the info conversion.
diff --git a/Doc/lib/libfl.tex b/Doc/lib/libfl.tex
index 4fa62a8..2e438ba 100644
--- a/Doc/lib/libfl.tex
+++ b/Doc/lib/libfl.tex
@@ -458,8 +458,8 @@
\end{tableiii}
\section{Standard Module \sectcode{FL}}
-\label{module-FL}
\nodename{FL (uppercase)}
+\label{module-FL}
\stmodindex{FL}
This module defines symbolic constants needed to use the built-in
diff --git a/Doc/libfl.tex b/Doc/libfl.tex
index 4fa62a8..2e438ba 100644
--- a/Doc/libfl.tex
+++ b/Doc/libfl.tex
@@ -458,8 +458,8 @@
\end{tableiii}
\section{Standard Module \sectcode{FL}}
-\label{module-FL}
\nodename{FL (uppercase)}
+\label{module-FL}
\stmodindex{FL}
This module defines symbolic constants needed to use the built-in