--- a/model/prov-dm-constraints.html	Mon Apr 02 16:57:03 2012 +0100
+++ b/model/prov-dm-constraints.html	Mon Apr 02 17:01:54 2012 +0100
@@ -252,7 +252,7 @@
 <li>Structural constraints are further constraints to be satisfied by generation descriptions  (<a href="#structural-constraints">Section 7</a>)</li>
 <li>Collection constraints are the constraints that hold for collections (<a href="#collection-constraints">Section 8</a>)</li>
 </ul>
-</div>
+
   
 
 
@@ -1130,7 +1130,7 @@
 </section>
 
 
-</section> 
+
 
 <section id="account-constraints"> 
 <h3>PROV-DM Account Constraints</h3>
@@ -1678,7 +1678,7 @@
 The following constraint ensures unique derivation.
 
 
-<div class='constraint' id='collection-unique-derivation'/>
+<div class='constraint' id='collection-unique-derivation'>
 
   <p>The state of a collection that is derived through multiple insertions, removal, or membership relations is undefined.
 
@@ -1696,15 +1696,15 @@
 is undefined (unless the two sets were identical, in which case one of the two statements would be redundant)<p/>
 </div>
 
-As a particular case, the state of <span class="name">c</span> as derived multiple times from the same <span class="name">c1</span> is undefined. <p/>
+<p>As a particular case, the state of <span class="name">c</span> as derived multiple times from the same <span class="name">c1</span> is undefined. </p>
 <div class="anexample">
   <pre class="codeexample">
 derivedByInsertionFrom(id1, c, c1, {(k1, v1), (k2, v2)})
 derivedByInsertionFrom(id2, c, c1, {(k3, v3), (k4, v4)})
 </pre>
-  is undefined. <p/>
-   The expected way to accomplish the effect intended with these statements, is as follows:
-  <pre class="codeexample">
+<p>is undefined. </p>
+<p> The expected way to accomplish the effect intended with these statements, is as follows:</p>
+<pre class="codeexample">
 derivedByInsertionFrom(id1, c, c1, {(k1, v1), (k2, v2), (k3, v3), (k4, v4)})
 </pre>  
 </div>
@@ -1723,8 +1723,6 @@
   is undefined.
 </div>
 
-</div>
-
 
 
 <!--