--- a/ontology/ProvenanceFormalModel.html	Tue Sep 27 18:01:14 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html	Tue Sep 27 18:02:06 2011 +0100
@@ -497,7 +497,6 @@
           <em>Example extension of PROV ontology in order to describe
           workflow provenance</em>
         </p>
-        </section>
         <section>
             <h4>Workflow extensions to PROV classes</h4>
             <p>