diff --git a/doc/html/header.txt b/doc/html/header.txt
index 012def183d49474e2f1143cdb92fd66cc8352a68..668ede848460e653f5f6e85608075d305a5b188f 100644
--- a/doc/html/header.txt
+++ b/doc/html/header.txt
@@ -66,10 +66,9 @@ window.onresize = window_check;
 </ul>
 <div id="slurmh2">Installing</div>
 <ul>
-	  <li><a href="platforms.shtml" class="nav">Platforms</a></li>
 	  <li><a href="download.shtml" class="nav">Download</a></li>
-	  <li><a href="download.shtml#related" class="nav">Related Software</a></li>
 	  <li><a href="quickstart_admin.shtml" class="nav">Installation Guide</a></li>
+	  <li><a href="platforms.shtml" class="nav">Platforms</a></li>
 </ul>
 <a href="http://www.schedmd.com"><img class="displayed" src="schedmd.png" width="130" usemap="#Map"></a>
 </div>