--- a/model/prov-constraints.html	Tue Aug 07 11:27:52 2012 +0100
+++ b/model/prov-constraints.html	Tue Aug 07 11:32:55 2012 +0100
@@ -559,7 +559,7 @@
 requirements for compliance with this document, which are specified in
 detail in the rest of the document.  </p>
 
-<p> <a href="#inferences">Section 4</a> presents definitions and inferences.  Definitions allow replacing shorthand notation in [[!PROV-N]]
+<p> <a href="#inferences">Section 4</a> presents definitions and inferences.  Definitions allow replacing shorthand notation in [[PROV-N]]
 with more explicit and complete statements; inferences allow adding
 new facts representing implicit knowledge about the structure of
 provenance.  </p>
@@ -1094,7 +1094,7 @@
   identifiers might later be found to be equal to known identifiers;
   they play a similar role in PROV constraints to existential
   variables in logic, "labeled nulls" in database theory
-  [[DBCONSTRAINTS]],  or to blank nodes in [[RDF]].  In general, omitted optional parameters to
+  [[DBCONSTRAINTS]],  or to blank nodes in [[!RDF]].  In general, omitted optional parameters to
   [[PROV-N]] statements, or explicit <span class="name">-</span>
   markers, are placeholders for existentially quantified variables;
   that is, they denote unknown values.  There are a few exceptions to