--- a/model/prov-constraints.html	Wed Feb 20 10:24:14 2013 +0000
+++ b/model/prov-constraints.html	Wed Feb 20 10:42:48 2013 +0000
@@ -901,7 +901,7 @@
 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 
-together with zero or more <a title="bundle">bundles</a>, or named instances.  For
+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.
 The
@@ -5142,7 +5142,7 @@
 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 <dfn title="bundle">bundles</a> as well as a
+documents, possibly including multiple named <a title="bundle">bundles</dfn> as well as a
 <dfn>toplevel instance</dfn>.  Briefly, each bundle is
 handled independently; there is no interaction between bundles from
 the perspective of applying definitions, inferences, or constraints,
@@ -5380,7 +5380,38 @@
        </p>
 </section>
 
+<section class="appendix">
+       <h2> Change Log</h2>
+
 <section class="appendix"> 
+      <h2>Changes from Candidate Recommendation to this version</h2> 
+    <p>   Please see the <a
+      href="http://www.w3.org/2011/prov/wiki/ResponsesToPublicCommentsCR">
+      Responses to Public Comments on the Candidate Recommendation</a>
+      for more details about the justification of these changes.</p>
+<ul>
+  <li>Updated the introduction to describe proposed recommendation
+      status and references to other PROV documents</li>
+  <li>Added clarification concerning constraint
+      <a href="#wasAssociatedWith-ordering">wasAssociatedWith-ordering</a> (issue-615).</li>
+      <li>Added underscores to some variables in inferences <a href="#wasStartedBy-inference">9</a>, <a href="#wasEndedBy-inference">10</a>,
+      <a href="#influence-inference">15</a> (issue-611).</li>
+      <li>Corrected a typo in the name <span
+      class="name">hadMember</span> in <a href="">constraint 56</a>
+      (issue-611).
+      </li>
+      <li>Clarified that existential variables are scoped at the
+      instance level, not statement level, thus it is correct to apply
+      uniqueness constraints by substituting variables through an
+      instance (issue-611).  (Remark at the end of <a href="#concepts">section
+      4. Basic concepts</a>, and clarified discussion in <a
+      href="#overview">Validation Process Overview</a>)</li>
+      <li>Gave equivalent form of <a
+      href="#optional-attributes">Definition 2</a> (issue-611).</li>
+</ul>
+</section>
+
+       <section>
       <h2>Changes from Last Call Working Draft to Candidate Recommendation</h2> 
     <p>   Please see the <a
       href="http://www.w3.org/2011/prov/wiki/ResponsesToPublicComments">
@@ -5440,31 +5471,6 @@
 
 </section>
 
-<section class="appendix"> 
-      <h2>Changes from Candidate Recommendation to this version</h2> 
-    <p>   Please see the <a
-      href="http://www.w3.org/2011/prov/wiki/ResponsesToPublicCommentsCR">
-      Responses to Public Comments on the Candidate Recommendation</a>
-      for more details about the justification of these changes.</p>
-<ul>
-  <li>Added clarification concerning constraint
-      <a href="#wasAssociatedWith-ordering">wasAssociatedWith-ordering</a> (issue-615).</li>
-      <li>Added underscores to some variables in inferences <a href="#wasStartedBy-inference">9</a>, <a href="#wasEndedBy-inference">10</a>,
-      <a href="#influence-inference">15</a> (issue-611).</li>
-      <li>Corrected a typo in the name <span
-      class="name">hadMember</span> in <a href="">constraint 56</a>
-      (issue-611).
-      </li>
-      <li>Clarified that existential variables are scoped at the
-      instance level, not statement level, thus it is correct to apply
-      uniqueness constraints by substituting variables through an
-      instance (issue-611).  (Remark at the end of <a href="#concepts">section
-      4. Basic concepts</a>, and clarified discussion in <a
-      href="#overview">Validation Process Overview</a>)</li>
-      <li>Gave equivalent form of <a
-      href="#optional-attributes">Definition 2</a> (issue-611).</li>
-</ul>
-  
 </section>