--- a/model/prov-constraints.html	Fri Jul 20 08:10:34 2012 +0100
+++ b/model/prov-constraints.html	Fri Jul 20 08:11:53 2012 +0100
@@ -1953,7 +1953,6 @@
   the  <span class="name">agent(ag,attrs)</span> statement.
   </li>
   </ol>
-  </p>
    </div>
 
    <hr />
@@ -2003,7 +2002,7 @@
   the <span class="name">wasInfluencedBy(id;o2,o1,attrs)</span> statement.
   </li>
 </ol>
-</p>   </div>
+   </div>
 
 
 
@@ -2253,6 +2252,8 @@
 </figure>
 </div>
 
+
+<p>
   
 <hr />
 
@@ -2444,7 +2445,8 @@
 </p>
 </div>
 
-<p/>
+<p>
+
 
 <hr />
 
@@ -2622,8 +2624,10 @@
   class="name">wasGeneratedBy(gen1;e1,_a1,_t1,_attrs1)</span> and
   <span class="name">wasGeneratedBy(gen2;e2,_a2,_t2,_attrs2)</span>
   <span class="conditional">THEN</span> <span class="name">gen1</span> <a>precedes</a> <span class="name">gen2</span>.  
-<p/p>
 </div>
+
+<p>
+
 <hr />
 <p id="specialization-invalidation_text">
 Similarly, if an entity specalizes another, then its invalidation must follow the