--- a/ontology/ProvenanceFormalModel.html	Thu Oct 13 15:20:32 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html	Thu Oct 13 15:21:31 2011 +0100
@@ -1417,7 +1417,7 @@
 	  </p>
 	  <div class='issue'>"Given a process execution expression identified by pe, an entity expression identified by e, a qualifier q, and optional time t, if assertion used(pe,e,q) or used(pe,e,q,t) holds, then the use of the thing represented by entity expression identified by e precedes the end time contained in the process execution expression identified by pe and follows its beginning. Furthermore, the generation of the thing denoted by entity expression identified by e always precedes its use." This is <a href="http://www.w3.org/2011/prov/track/issues/124">ISSUE-124</a></div>
 	</section> 
-    <section id="remaining-constraints"
+    <section id="remaining-constraints">
     <h4>Remaining constraints not yet adressed by PROV-O</h4>
     <ul>
 <li><a id="use-pe-ordering">use-pe-ordering</a> "Given a process execution <b>pe</b>, entity <b>e</b>, role <b>r</b>, and optional time <b>t</b>, if
@@ -1515,7 +1515,6 @@
   <li>entity expression identified by B has some attribute that entity
   expression identified by A does not have.
   </li></ol>
-   </div>
 (<a
 href="../model/ProvenanceModel.html#wasComplementOf-necessary-cond">definition</a>)
 </li>