diff --git a/Documentation.html b/Documentation.html
index 3aff2a751..a9f341013 100755
--- a/Documentation.html
+++ b/Documentation.html
@@ -115,11 +115,13 @@
         PHP 3.0.8.
         Then <font color="#bb0000">you should not run this script with
         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>.<br />
-        PHP also needs to be <font color="#bb0000">compiled with MySQL support</font>;
+        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>.
+        <br />
+        PHP also needs to be <font color="#bb0000">compiled with MySQL
+        support</font>;
     </li>
     <li>
         MySQL (tested with 3.21.x, 3.22.x, 3.23.x and 4.0.x);