diff --git a/docs/ProgrammersManual.html b/docs/ProgrammersManual.html
index e7ca553b4b5..548a6828c11 100644
--- a/docs/ProgrammersManual.html
+++ b/docs/ProgrammersManual.html
@@ -70,7 +70,6 @@
         <li><a href="#Instruction">The <tt>Instruction</tt> class</a>
         <ul>
         <li>
-        <li>
         </ul>
         <li><a href="#GlobalValue">The <tt>GlobalValue</tt> class</a>
         <ul>