diff --git a/functions/gmp.xml b/functions/gmp.xml
index 8b0e659e21..bdd8a9be17 100644
--- a/functions/gmp.xml
+++ b/functions/gmp.xml
@@ -93,9 +93,11 @@ print gmp_strval (fact (1000)) . "\n";
       <literal>gmp_init(12378473895798475827348979342)</literal>,
       since first the integer-literal will be interpreted,
       resulting in an 
+<!--
       <link linkend="language.types.integer.overflow">overflow</link>
       and thus in zero, and then gmp_init is called with that 
       zero as argument.
+-->
       <!-- TODO: wrong, it will be converted to float (type-jug), which
       will lead to loss of precision. -->
      </para>