--- a/index.html	Sat Nov 29 17:40:21 2014 +0000
+++ b/index.html	Sat Nov 29 17:57:00 2014 +0000
@@ -111,13 +111,15 @@
 <TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD>
 </TR>
 </TABLE>
+
 <p>
 <HR>
-[<a href="index.html#dates">Important Dates</a>]
+[<A HREF="index.html#dates">Important Dates</A>]
 [<A HREF="cfp.pdf">CFP</A>]
-[<a href="index.html#committees">Committees</a>]
+[<A HREF="index.html#committees">Committees</A>]
 [<A HREF="history.html">Conference History</A>]
-<HR></p>
+<HR>
+</p>
 
 <p>
 The 6th conference on Interactive Theorem Proving will be held in