diff --git a/Doc/lib/libmpz.tex b/Doc/lib/libmpz.tex
index eb5dea8..7e82c8b 100644
--- a/Doc/lib/libmpz.tex
+++ b/Doc/lib/libmpz.tex
@@ -1,7 +1,7 @@
 \section{\module{mpz} ---
-         GNU MP library for arbitrary precision arithmetic.}
-\declaremodule{builtin}{mpz}
+         GNU arbitrary magnitude integers}
 
+\declaremodule{builtin}{mpz}
 \modulesynopsis{Interface to the GNU MP library for arbitrary
 precision arithmetic.}