--- a/ontology/ProvenanceFormalModel.html	Wed Nov 23 13:48:32 2011 -0500
+++ b/ontology/ProvenanceFormalModel.html	Wed Nov 23 13:54:30 2011 -0500
@@ -1804,7 +1804,7 @@
 	<section id = "entailments-supported-by-the-provenance-model">
 	<h3>Provenance-specific Entailments Supported by PROV Ontology</h3>
 	<p>The PROV-DM [[PROV-DM]] introduces a set of provenance-specific constraints. These provenance constraints will be modeled in PROV ontology as OWL axioms or as rules using the Rule Interchange Framework (RIF) [[!RIF-OVERVIEW]]. These constraints are expected to be used by provenance applications in addition to the PROV ontology file.</p>
-	<div class='note'> The provenance-specific constraints are currently under review and discussion. Individual constraints will be added to the PROV ontology or as RIF rules after the relevant issues are resolved. The provenance constraints are enumerated in Appendix
+	<div class='note'> The provenance-specific constraints are currently under review and discussion. Individual constraints will be added to the PROV ontology or as RIF rules after the relevant issues are resolved. The provenance constraints are enumerated in Appendix A.
 	</div>
 	     
     </section>