--- a/model/prov-constraints.html	Mon Sep 03 16:36:51 2012 +0100
+++ b/model/prov-constraints.html	Mon Sep 03 16:37:12 2012 +0100
@@ -3772,8 +3772,8 @@
   <p>
 <span class="conditional">IF</span> <span
   class="name">specializationOf(e1,e2)</span> and
- <span class="name">wasInvalidatedBy(inv1; e1,_a1,_t1,_attrs1)</span> and
-  class="name">wasInvalidatedBy(inv2; e2,_a2,_t2,_attrs2)</span>
+ <span class="name">wasInvalidatedBy(inv1; e1,_a1,_t1,_attrs1)</span> and 
+ <span  class="name">wasInvalidatedBy(inv2; e2,_a2,_t2,_attrs2)</span>
   <span class="conditional">THEN</span> <span class="name">inv1</span> <a>precedes</a> <span class="name">inv2</span>.
 </p>
   </div>