--- a/model/prov-constraints.html	Fri Jul 20 08:08:30 2012 +0100
+++ b/model/prov-constraints.html	Fri Jul 20 08:09:34 2012 +0100
@@ -1049,7 +1049,7 @@
 <span class="name">wasAssociatedWith</span>,
 <span class="name">actedOnBehalfOf</span>}, if the <span class="name">i</span>th parameter
     of <span class="name">r</span> is an <a>expandable parameter</a>
-    of <span class="name">r</span> then the following definition holds:</p>
+    of <span class="name">r</span> then the following definition holds:
     <p> <span class="name">r(a<sub>0</sub>;...,a<sub>i-1</sub>, -, a<sub>i+1</sub>, ...,a<sub>n</sub>) </span> <span class="conditional">IF AND ONLY IF</span> there exists <span class="name">a'</span>
     such that <span class="name">r(a<sub>0</sub>;...,a<sub>i-1</sub>,a',a<sub>i+1</sub>,...,a<sub>n</sub>)</span>.
     </li></ol>
@@ -1348,7 +1348,6 @@
   class="name">alternateOf(e2,e1)</span> holds.
 </li>
 -->
-</ol>
 </div>