diff --git a/Documentation.html b/Documentation.html
index a9f341013..bde2831c4 100755
--- a/Documentation.html
+++ b/Documentation.html
@@ -117,8 +117,9 @@
         PHP3&nbsp;&lt;&nbsp;3.0.8</font>.<br />
         Furthermore, we encountered crashes of the php module / binary when
         working with PHP 4.2.0 (tested with PHP 4.2.0 RC1 to RC4) and trying to
-        download a (zipped) dump file. That is why <font color="#bb0000">we
-        recommend not to run phpMyAdmin with PHP 4.2.0</font>.
+        download a (zipped) dump file using MS Internet Explorer. That is why
+        <font color="#bb0000">we recommend not to run phpMyAdmin with PHP
+        4.2.0</font>.
         <br />
         PHP also needs to be <font color="#bb0000">compiled with MySQL
         support</font>;
@@ -1003,8 +1004,9 @@ $cfgPmaAbsoluteUri = (!empty($HTTPS) ? 'https' : 'http') . '://'
     <tt>zlib.output_compression</tt> directive to <tt>Off</tt> in your php
     configuration file.<br />
     Furthermore, we know about such problems connected to php 4.2.0 (tested
-    with php 4.2.0 RC1 to RC4). Unfortunatly, the only solution for this
-    seems to be switching back to php 4.1.2 or an earlier version.
+    with php 4.2.0 RC1 to RC4) together with MS Internet Explorer.
+    Unfortunatly, the only solution for this bug seems to be switching back to
+    an earlier php version.
 </p>
 
 <p>
@@ -1058,9 +1060,9 @@ $cfgPmaAbsoluteUri = (!empty($HTTPS) ? 'https' : 'http') . '://'
     (Unix/Windows, Safe Mode or not, and so on).
     So, you must have PHP4&nbsp;>=&nbsp;4.0.4 and Zlib/Bzip2 support
     (<tt>--with-zlib</tt> and <tt>--with-bz2</tt>).<br />
-    We faced php crashes when trying to download a dump when phpMyAdmin is run
-    with php 4.2.0 (tested with php 4.2.0 RC1 to RC4). In this case you should
-    switch back to an earlier php version.
+    We faced php crashes when trying to download a dump with MS Internet
+    Explorer when phpMyAdmin is run with php 4.2.0 (tested with php 4.2.0 RC1
+    to RC4). In this case you should switch back to an earlier php version.
 </p>
 
 <p>