diff --git a/docs/ProgrammersManual.html b/docs/ProgrammersManual.html
index 4415a87..5588144 100644
--- a/docs/ProgrammersManual.html
+++ b/docs/ProgrammersManual.html
@@ -697,7 +697,7 @@
 instructions and adding them to <tt>BasicBlock</tt>s.
 </p>
 </p>
-
+</ul>
 
 <!--_______________________________________________________________________-->
 </ul><h4><a name="schanges_deleting"><hr size=0>Deleting
@@ -1575,6 +1575,6 @@
 <a href="mailto:sabre@nondot.org">Chris Lattner</a></address>
 <!-- Created: Tue Aug  6 15:00:33 CDT 2002 -->
 <!-- hhmts start -->
-Last modified: Thu Sep 12 14:06:40 CDT 2002
+Last modified: Thu Sep 12 14:07:53 CDT 2002
 <!-- hhmts end -->
 </font></body></html>