diff --git a/manual/manual/library/core.etex b/manual/manual/library/core.etex
index 3d9816332..d30f0d4d2 100644
--- a/manual/manual/library/core.etex
+++ b/manual/manual/library/core.etex
@@ -27,7 +27,7 @@ indexed at the end of this report.
 \section{s:stdlib-module}{Module {\tt Stdlib}: the initially opened module}
 \begin{links}
 \item \ahref{libref/Stdlib.html}{Module \texttt{Stdlib}: the initially opened module}
-\item \ahref{libref/Pervasives.html}{Module \texttt{Pervasives}: deprecated alias for Stdlib}
+\item Module \texttt{Pervasives}: deprecated alias for Stdlib
 \end{links}
 \else
 {