--- a/drafts/rdf11-mt/Overview.html	Wed Apr 03 16:38:17 2013 -0700
+++ b/drafts/rdf11-mt/Overview.html	Wed Apr 03 16:39:04 2013 -0700
@@ -890,7 +890,7 @@
 <section class="appendix" id="MTintro"><h2 id="model_theory">Introduction to model theory (Informative)</h2>
 ///
 </section>
-<section class="appendix" id="proofs"><h2 id="proofs">Proofs of Lemmas (Informative)</h2>
+<section class="appendix"><h2  id="proofs">Proofs of Lemmas (Informative)</h2>
 ///interpolation lemma is now slightly less trivial to prove. Check for possible consequences of this.///
 </section>
 <section class="appendix" id="whatnot"><h2 id="non_semantics">What the semantics does not do (Informative)</h2>
@@ -985,7 +985,7 @@
     <p><code>_:yyy &lt;ex:property&gt; &lt;ex:foo&gt; .</code></p>
 
     
-<h4 a="containers"><a id="Containers">RDF containers</a></h4>
+<h4 id="containers">RDF containers</h4>
 
     <table border="1">
       <tbody>
@@ -1081,7 +1081,7 @@
     only finitely many members.</p>
 
     
-<a id="collections"></a>RDF collections</h4>
+<h4 id="collections">RDF collections</h4>
 
     <table  border="1">
       <tbody>
@@ -1444,7 +1444,7 @@
 
     <p><a id="glossSkolemization"></a>
 <!-- <a href="#skolemlemprf"> -->
-<strong>Skolemization</strong></a> (n.) A
+<strong>Skolemization</strong>  (n.) A
     syntactic transformation in which blank nodes are replaced by 'new'
     names.</p>