--- a/index.html	Sat Nov 29 17:57:00 2014 +0000
+++ b/index.html	Sat Nov 29 18:00:11 2014 +0000
@@ -119,7 +119,7 @@
 [<A HREF="index.html#committees">Committees</A>]
 [<A HREF="history.html">Conference History</A>]
 <HR>
-</p>
+
 
 <p>
 The 6th conference on Interactive Theorem Proving will be held in