--- a/model/ProvenanceModel.html	Mon Dec 19 09:23:32 2011 +0000
+++ b/model/ProvenanceModel.html	Mon Dec 19 09:24:32 2011 +0000
@@ -428,7 +428,7 @@
 rules allowing to derive <a title="event">instantaneous event</a> ordering constraints from
 provenance records.  According to such temporal interpretation,
 provenance records MUST satisfy such constraints.  We note that the
-actual verification of such temporal constraints is also outside the
+actual verification of such ordering constraints is also outside the
 scope of this specification. </p>
 
 <p>PROV-DM also allows for time observations to be inserted in specific
@@ -436,7 +436,7 @@
 in this specification.  The presence of a time observation for a
 given <a title="event">instantaneous event</a> fixes the mapping of this <a title="event">instantaneous event</a> to the
 timeline. It can also help with the verification of associated
-temporal constraints (though, again, this verification is outside the
+ordering constraints (though, again, this verification is outside the
 scope of this specification).
 </p>