--- a/model/prov-constraints.html	Mon Sep 03 16:36:24 2012 +0100
+++ b/model/prov-constraints.html	Mon Sep 03 16:36:51 2012 +0100
@@ -3771,7 +3771,7 @@
 </p><div class="constraint" id="specialization-invalidation-ordering">
   <p>
 <span class="conditional">IF</span> <span
-  class="name">specializationOf(e1,e2)</span> and <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="conditional">THEN</span> <span class="name">inv1</span> <a>precedes</a> <span class="name">inv2</span>.