diff --git a/language/types/integer.xml b/language/types/integer.xml
index 4a3f46b5b9..bd3bb115bf 100644
--- a/language/types/integer.xml
+++ b/language/types/integer.xml
@@ -155,19 +155,6 @@ var_dump($large_number);                     // float(5.0E+19)
 ]]>
    </programlisting>
   </example>
-
-  <warning>
-   <simpara>
-    Unfortunately, there was a bug in PHP which caused this to not always work
-    correctly when negative numbers were involved. For example, the result of
-    <literal>-50000 * $million</literal> is <literal>-429496728</literal>.
-    However, when both operands were positive, there was no problem.
-   </simpara>
-
-   <simpara>
-    This was fixed in PHP 4.1.0.
-   </simpara>
-  </warning>
   
   <para>
    There is no <type>integer</type> division operator in PHP.