--- a/model/prov-constraints.html	Mon Sep 03 16:34:21 2012 +0100
+++ b/model/prov-constraints.html	Mon Sep 03 16:36:24 2012 +0100
@@ -3026,8 +3026,10 @@
 <span class='conditional'>THEN</span> <span class="name">gen1</span> = <span class="name">gen2</span>.</p>
 </div> 
 
-
-<div id='unique-invalidation_text'>
+<p>
+
+<hr>
+<p id='unique-invalidation_text'>
 
 <div class='constraint' id='unique-invalidation'>
 <p>
@@ -3041,16 +3043,17 @@
   entity and activity are unique, if specified.  However, because we
   apply the constraints by merging, it is possible for a valid PROV instance
 to contain multiple statements about the same generation or
-  invalidation event, for example:
+  invalidation event, for example:</p>
   <pre>
 wasGeneratedBy(id1; e,a,-,[prov:location="Paris"])
 wasGeneratedBy(-; e,a,-,[color="Red"])
 </pre>
-  When the uniqueness and key constraints are applied, the instance is
-  <a title="normal form">normalized</a> to the following form:
+<p>  When the uniqueness and key constraints are applied, the instance is
+  <a title="normal form">normalized</a> to the following form:</p>
   <pre>
 wasGeneratedBy(id1; e,a,_t,[prov:location="Paris",color="Red"])
 </pre>
+<p>
   where <span class="name">_t</span> is a new existential variable.
   </p>
 </div>
@@ -3146,7 +3149,6 @@
 
 
 
-
 </section> <!-- uniqueness-constraints--> 
 
 <section id="event-ordering-constraints">