Index: index.html
===================================================================
--- index.html	(revision 30707)
+++ index.html	(revision 30708)
@@ -15,8 +15,8 @@
 between formats, running DRC checks, generating previews.
 <p>
 <ul class="toc">
-	<li><a href="intro.html"> 1.1. Introduction </a>
-	<li><a href="history.html"> 1.2. IHistory </a>
+	<li><a href="intro.html">   1.1. Introduction </a>
+	<li><a href="history.html"> 1.2. History </a>
 </ul>
 
 </body>