diff --git a/doc/libraries_ref_guide/LibDoc/Prelude.tex b/doc/libraries_ref_guide/LibDoc/Prelude.tex
index 3b6abd87..52c1f2d1 100644
--- a/doc/libraries_ref_guide/LibDoc/Prelude.tex
+++ b/doc/libraries_ref_guide/LibDoc/Prelude.tex
@@ -1298,7 +1298,7 @@ \subsubsection{BitExtend}
 \cline{2-2}
 &\begin{libverbatim}
 function x#(m) truncate (x#(n) d)
-   provisos (Add#(k, n, m));
+   provisos (Add#(k, m, n));
 \end{libverbatim}
 \\
 \hline