Index: doc/top.html
===================================================================
--- doc/top.html.orig
+++ doc/top.html
@@ -13,3 +13,4 @@
 
 </TABLE>
 </BODY>
+</HTML>