--- a/model/prov-constraints.html	Fri Jul 20 08:14:13 2012 +0100
+++ b/model/prov-constraints.html	Fri Jul 20 08:14:46 2012 +0100
@@ -3138,6 +3138,7 @@
 <div class="note">TODO: give proof that normalization terminates and
       produces unique normal forms.
   </div>
+</section>
 
 
  </body></html>