--- a/model/prov-constraints.html	Wed Aug 08 13:56:48 2012 +0200
+++ b/model/prov-constraints.html	Wed Aug 08 13:58:16 2012 +0200
@@ -3026,7 +3026,7 @@
 <span class="conditional">THEN</span>
 <span class="name">start</span> 
 <a title="precedes">precedes</a>
-<span class="name">end</span>.
+<span class="name">end1</span>.
   </li><li>
     <span class="conditional">IF</span>
 <span class="name">wasAssociatedWith(_assoc; a,ag,_pl,_attrs)</span> 
@@ -3035,7 +3035,7 @@
 and
 <span class="name">wasEndedBy(end; a,_e8,_a8,_t8,_attrs8)</span> 
 <span class="conditional">THEN</span>
-<span class="name">start</span> 
+<span class="name">start1</span> 
 <a title="precedes">precedes</a>
 <span class="name">end</span>.
   </li>