Index: doc/user/index.html
===================================================================
--- doc/user/index.html	(revision 5940)
+++ doc/user/index.html	(revision 5941)
@@ -11,11 +11,11 @@
 <h2> Table of Contents </h2>
 <p>
 <ul class="toc">
-	<li> <a href="01_intro/index.html">   1. Introduction </a>
-	<li> <a href="02_model/index.html">   2. Model of the world </a>
+	<li><a href="01_intro/index.html">   1. Introduction </a>
+	<li><a href="02_model/index.html">   2. Model of the world </a>
 	<li><a href="03_data/">    3. Where data is stored </a>
 	<li><a href="04_invoc/index.html">      4. Program Invocation </a>
-	<li><a href="05_ui/index.html">   5. User Interface </a>
+	<li><a href="05_ui/index.html">   5. Graphical and Batch User Interfaces </a>
 	<li><a href="06_feature/"> 6. Feature plugins </a>
 	<li><a href="07_io/">      7. File formats </a>
 	<li><a href="08_util/">    8. Utilities </a>