diff -r b52ec9acb506 -r e02d6cf59a00 bids-2016.html
--- a/bids-2016.html	Sat Apr 11 04:39:15 2015 +0100
+++ b/bids-2016.html	Sat Apr 11 04:42:16 2015 +0100
@@ -88,6 +88,7 @@
 <TR>
 <TD><H1>Bids for Hosting ITP 2016</H1></TD>
 </TABLE>
+
 <p>
 <HR>
 [<A HREF="index.html">Home</A>]
@@ -96,7 +97,7 @@
 [<A HREF="index.html#committees">Committees</A>]
 [<A HREF="history.html">Conference History</A>]
 <HR>
-</p>
+
 
 <p>ITP 2015 is the sixth conference on Interactive Theorem Proving and
 related topics, ranging from theoretical foundations to implementation