diff --git a/docs/ProgrammersManual.html b/docs/ProgrammersManual.html
index 6c0f87e..2ed64d6 100644
--- a/docs/ProgrammersManual.html
+++ b/docs/ProgrammersManual.html
@@ -1573,7 +1573,7 @@
 This code shows the basic approach used to build recursive types: build a
 non-recursive type using 'opaque', then use type unification to close the cycle.
 The type unification step is performed by the <tt><a
-ref="#refineAbstractTypeTo">refineAbstractTypeTo</a></tt> method, which is
+href="#refineAbstractTypeTo">refineAbstractTypeTo</a></tt> method, which is
 described next.  After that, we describe the <a
 href="#PATypeHolder">PATypeHolder class</a>.
 </p>
@@ -2750,11 +2750,6 @@
       this constant. </li>
     </ul>
   </li>
-    <ul>
-      <li><tt>bool getValue() const</tt>: Returns the underlying value of this 
-      constant. </li>
-    </ul>
-  </li>
   <li>ConstantArray : This represents a constant array.
     <ul>
       <li><tt>const std::vector&lt;Use&gt; &amp;getValues() const</tt>: Returns