--- a/model/prov-constraints.html	Mon Sep 10 14:21:31 2012 +0100
+++ b/model/prov-constraints.html	Mon Sep 10 15:21:35 2012 +0100
@@ -3615,9 +3615,9 @@
 <div class='constraint' id='invalidation-invalidation-ordering'>
  <p>
     <span class="conditional">IF</span>
-<span class="name">wasInvalidatedBy(inv1; e2,_a1,_t1,_attrs1)</span> 
+<span class="name">wasInvalidatedBy(inv1; e,_a1,_t1,_attrs1)</span> 
 and
-<span class="name">wasInvalidatedBy(inv2; e2,_a2,_t2,_attrs2)</span> 
+<span class="name">wasInvalidatedBy(inv2; e,_a2,_t2,_attrs2)</span> 
 <span class="conditional">THEN</span>
 <span class="name">inv1</span> 
 <a title="precedes">precedes</a>