diff --git a/Documentation.html b/Documentation.html
index 9369d87d35..65bf5331b1 100644
--- a/Documentation.html
+++ b/Documentation.html
@@ -2814,8 +2814,9 @@ setfacl -d -m "g:www-data:rwx" tmp
     values of <tt>upload_max_filesize</tt>, <tt>memory_limit</tt> and
     <tt>post_max_size</tt> in the <i>php.ini</i> configuration file.
     All of these three settings limit the maximum size of data that can be
-    submitted and handled by PHP. One user also said that post_max_size
-    and memory_limit need to be larger than upload_max_filesize.<br /> <br />
+    submitted and handled by PHP. One user also said that
+    <tt>post_max_size</tt>
+    and <tt>memory_limit</tt> need to be larger than <tt>upload_max_filesize</tt>.<br /> <br />
 
     There exist several workarounds if your upload is too big or your
     hosting provider is unwilling to change the settings:</p>