diff --git a/doc/download_all.php b/doc/download_all.php
index 6a4f5ce6f4..e6ad799007 100644
--- a/doc/download_all.php
+++ b/doc/download_all.php
@@ -195,7 +195,7 @@ if ($xml) {
                 (available for Solaris/Opteron, Linux/Opteron, Linux/PPC, HP-UX, and FreeBSD, and others).
             </ul>
 
-            <h3>Linux info</h2>
+            <h3>Linux info</h3>
         ";
         show_linux_info();
     }