--- a/model/prov-constraints.html	Wed Feb 20 10:42:48 2013 +0000
+++ b/model/prov-constraints.html	Wed Feb 20 10:46:49 2013 +0000
@@ -900,7 +900,7 @@
 <p>The PROV Data Model, PROV-DM, is a conceptual data model for provenance, which is
 realizable using different representations such as PROV-N and PROV-O.
 A <dfn>PROV instance</dfn> is a set of PROV statements.
-A <dfn>PROV document</dfn> is an instance 
+A <dfn>PROV document</dfn> consists of an instance, called the <dfn>toplevel instance</dfn> 
 together with zero or more <dfn title="bundle">bundles</dfn>, or named instances.  For
 example, a PROV document could be a .provn document, the result
 of a query, a triple store containing PROV statements in RDF, etc.
@@ -5142,8 +5142,8 @@
 the resulting notions of normalization, validity and equivalence,
 work on a single PROV instance.  In this
 section, we describe how to deal with general PROV
-documents, possibly including multiple named <a title="bundle">bundles</dfn> as well as a
-<dfn>toplevel instance</dfn>.  Briefly, each bundle is
+documents, possibly including multiple named <a title="bundle">bundles</a> as well as a
+<a>toplevel instance</a>.  Briefly, each bundle is
 handled independently; there is no interaction between bundles from
 the perspective of applying definitions, inferences, or constraints,
 computing normal forms, or checking validity or equivalence.</p>
@@ -5381,7 +5381,7 @@
 </section>
 
 <section class="appendix">
-       <h2> Change Log</h2>
+       <h2>Change Log</h2>
 
 <section class="appendix"> 
       <h2>Changes from Candidate Recommendation to this version</h2> 
@@ -5390,6 +5390,7 @@
       Responses to Public Comments on the Candidate Recommendation</a>
       for more details about the justification of these changes.</p>
 <ul>
+  <li>Fixed a number of broken links from definition references to definitions</li>
   <li>Updated the introduction to describe proposed recommendation
       status and references to other PROV documents</li>
   <li>Added clarification concerning constraint