--- a/model/ProvenanceModel.html	Thu Jan 26 21:52:31 2012 +0000
+++ b/model/ProvenanceModel.html	Thu Jan 26 21:53:19 2012 +0000
@@ -3614,15 +3614,15 @@
 
 <div class="anexample">
 <pre class="codeexample">
-  <span class="name">entity(c, [prov:type="emptyCollection"])</span>    // <span class="name">e</span> is an empty collection
-  <span class="name">entity(k1).
-  <span class="name">entity(v1).
-  <span class="name">entity(k2).
-  <span class="name">entity(v2).
-
-  <span class="name">CollectionAfterInsertion(c1, c, k1, v1) </span>      // c1 = { (k1,v1) }
-  <span class="name">wasDerivedFrom(c2, c1) </span>                       // the asserted knows that c2 is somehow derived from c1, but cannot assert the precise sequence of updates
-    <span class="name">CollectionAfterInsertion(c3, c2, k2, v2) </span>      
+  entity(c, [prov:type="emptyCollection"])    // e is an empty collection
+  entity(k1)
+  entity(v1)
+  entity(k2)
+  entity(v2)
+
+  CollectionAfterInsertion(c1, c, k1, v1)       // c1 = { (k1,v1) }
+  wasDerivedFrom(c2, c1)                        // the asserted knows that c2 is somehow derived from c1, but cannot assert the precise sequence of updates
+    CollectionAfterInsertion(c3, c2, k2, v2)       
 </pre>
 </div>
 Here  <span class="name">c3</span> includes <span class="name">{ (k2 v2) }</span> but the earlier "gap" leaves uncertainty regarding  <span class="name">(k1,v1)</span>  (it may have been removed) or any other pair that may have been added as part of the derivation activities.