1 files changed, 1 insertions, 1 deletions
diff --git a/doc/RefMan-tus.tex b/doc/RefMan-tus.tex
index d296c0b47..8be5c9635 100755
--- a/doc/RefMan-tus.tex
+++ b/doc/RefMan-tus.tex
@@ -771,7 +771,7 @@ arguments for tactics is a union type including:
 \item well-typed terms, represented by a construction;
 \item a substitution for bound variables, like the
 substitution in the tactic \\$\texttt{Apply}\;t\;\texttt{with}\;x:=t_1\ldots
-x_n:=t_n$, (cf. Section \ref{Apply});
+x_n:=t_n$, (cf. Section~\ref{apply});
 \item a reduction expression, denoting the reduction strategy to be
 followed.
 \end{itemize}