--- a/model/prov-constraints.html	Mon Sep 03 15:46:35 2012 +0100
+++ b/model/prov-constraints.html	Mon Sep 03 15:49:31 2012 +0100
@@ -1377,8 +1377,8 @@
   instances can also be equivalent if they differ only in choice of
   names of existential variables. Because of this, the appropriate
   notion of equivalence of normal forms is <em>isomorphism</em>.  Two
-  instances <span class="math">I<sub>1</sub></span> and <span class="math">I<sub>2<sub></span> are <em>isomorphic</em> if there is an invertible
-  substitution <span class="math">S</span> mapping existential variables to existential variables such that <span class="math">S(I<sub>1</sub>) = I<sub>2<sub></span>.
+  instances <span class="math">I<sub>1</sub></span> and <span class="math">I<sub>2</sub></span> are <em>isomorphic</em> if there is an invertible
+  substitution <span class="math">S</span> mapping existential variables to existential variables such that <span class="math">S(I<sub>1</sub>) = I<sub>2</sub></span>.
   This is similar to the notion of equivalence used in [[RDF]], where
   blank nodes play an analogous role to existential variables.  </p>
  
@@ -1846,9 +1846,12 @@
   variables to identifiers, literals, the placeholder <span class="name">-</span>,
   or other <a>existential variables</a>.  A substitution <span class="math">S</span> can be
   applied to an instance <span class="math">I</span> by replacing all occurrences of existential
-  variables <span class="math">x</span> in the instance with <span class="math">S(x)</span>.  <div
+  variables <span class="math">x</span> in the instance with <span class="math">S(x)</span>.  
+</p>
+
+<div
   class="note">More explanation may be needed</div>
-</p>
+
 <p>
 <a class="rule-ref" href="#optional-identifiers"><span>TBD</span></a>,
 <a class="rule-ref" href="#optional-attributes"><span>TBD</span></a>, and
@@ -2007,7 +2010,7 @@
    expanded by <a class="rule-ref"
    href="#optional-identifiers"><span>TBD</span></a>, are not listed.</p>
   <div id="expandable-parameters-fig">
-    <table id="expandable-parameters" border="1" class="thinborder" style="margin-left: auto; margin-right: auto; border-color: black;">
+    <table id="expandable-parameters_table" border="1" class="thinborder" style="margin-left: auto; margin-right: auto; border-color: black;">
 <caption id="expandable-parameters">Table 3: Expandable and
     Non-Expandable Parameters</caption>
 <tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>