--- a/model/ProvenanceModel.html	Thu Jan 26 21:50:59 2012 +0000
+++ b/model/ProvenanceModel.html	Thu Jan 26 21:52:31 2012 +0000
@@ -3557,7 +3557,7 @@
 <span class="name">CollectionAfterInsertion(c2,c1, k1, v1)</span><br/>
 <span class="name">CollectionAfterInsertion(c2,c1, k2, v2)</span><br/>
   <span class="name">...</span><br/>
-This is interpreted as <em>" <span class="name">c2</span> is the state that results from inserting  <span class="name">(k1, v1)</span>,  <span class="name">(k2, v2)</span> etc. into  <span class="name">c1</span></em><p/>
+This is interpreted as <em>" <span class="name">c2</span> is the state that results from inserting  <span class="name">(k1, v1)</span>,  <span class="name">(k2, v2)</span> etc. into  <span class="name">c1</span></em></li>
   
 <li> It is possible to have multiple derivations from a single root collection, possibly by different asserters, as shown in the following example.
 
@@ -3600,14 +3600,14 @@
 
 <div class="anexample">
 <pre class="codeexample">
-  <span class="name">entity(c, [prov:type="collection"])</span>    // <span class="name">e</span> is a collection, possibly not empty
-  <span class="name">entity(k1).
-  <span class="name">entity(v1).
-  <span class="name">entity(k2).
-  <span class="name">entity(v2, [prov:type="collection"])</span>    // <span class="name">v2</span> is a collection
-
-  <span class="name">CollectionAfterInsertion(c1, c, k1, v1) </span>      // c1 <em>includes</em> { (k1,v1) } but may contain additional unknown pairs
-  <span class="name">CollectionAfterInsertion(c2, c1, k2, v2) </span>      // c2 includes { (k1,v1), (k2 v2) } where v2 is a collection with unknown state
+  entity(c, [prov:type="collection"])    // e is a collection, possibly not empty
+  entity(k1)
+  entity(v1)
+  entity(k2)
+  entity(v2, [prov:type="collection"])    // v2 is a collection
+
+  CollectionAfterInsertion(c1, c, k1, v1)       // c1 <em>includes</em> { (k1,v1) } but may contain additional unknown pairs
+  CollectionAfterInsertion(c2, c1, k2, v2)      // c2 includes { (k1,v1), (k2 v2) } where v2 is a collection with unknown state
 </pre>
 </div>
   In the example, the state of <span class="name">c2</span> is only partially known because the collection is constructed from partially known other collections.