1 files changed, 2 insertions, 2 deletions
diff --git a/doc/refman/RefMan-ltac.tex b/doc/refman/RefMan-ltac.tex
index 13b2d387b8..c924c02ebe 100644
--- a/doc/refman/RefMan-ltac.tex
+++ b/doc/refman/RefMan-ltac.tex
@@ -27,7 +27,7 @@ problems.
 \def\cpattern{\nterm{cpattern}}
 
 The syntax of the tactic language is given Figures~\ref{ltac}
-and~\ref{ltac_aux}. See Chapter~\ref{BNF-syntax} for a description of
+and~\ref{ltac-aux}. See Chapter~\ref{BNF-syntax} for a description of
 the BNF metasyntax used in these grammar rules. Various already
 defined entries will be used in this chapter: entries
 {\naturalnumber}, {\integer}, {\ident}, {\qualid}, {\term},
@@ -187,7 +187,7 @@ is understood as
 \end{tabular}
 \end{centerframe}
 \caption{Syntax of the tactic language (continued)}
-\label{ltac_aux}
+\label{ltac-aux}
 \end{figure}
 
 \begin{figure}[ht]