--- a/model/prov-constraints.html	Fri Jul 20 08:11:53 2012 +0100
+++ b/model/prov-constraints.html	Fri Jul 20 08:14:13 2012 +0100
@@ -2708,7 +2708,7 @@
 with the agent. The agent is required to exist before the entity
 invalidation. Likewise, the entity generation must precede the agent destruction.
 This is
-illustrated by <a href="#ordering-agents">Figure 5</a> (b) and  expressed by  <a class="rule-ref" href="#wasAttributedTo-ordering"><span/></a>.</p>
+illustrated by <a href="#ordering-agents">Figure 5</a> (b) and  expressed by  <a class="rule-ref" href="#wasAttributedTo-ordering"><span>TBD</span></a>.</p>
 
 
 
@@ -2861,7 +2861,7 @@
     identifiers are required to be pairwise disjoint.
   </div>
 
-   <p id='impossible-property-overlap_text'> Identifiers of entities,
+   <p id='impossible-object-overlap_text'> Identifiers of entities,
   agents and activities cannot also be identifiers of properties.
   </p>
   <div class='constraint' id='impossible-object-property-overlap'>
@@ -3138,7 +3138,7 @@
 <div class="note">TODO: give proof that normalization terminates and
       produces unique normal forms.
   </div>
-      </h2>
+
 
  </body></html>