--- a/model/ProvenanceModel.html	Mon Nov 21 22:35:22 2011 +0000
+++ b/model/ProvenanceModel.html	Mon Nov 21 22:36:22 2011 +0000
@@ -2544,13 +2544,14 @@
 <div class="anexample">
 <p>
 In the following assertions, we find two activity records, identified by <span class="name">a1</span> and <span class="name">a2</span>, representing two activities, which took place on two separate hosts.</p>
-<pre class="example">
+<pre class="codeexample">
 activity(a1,workflow,t1,t2,[host="server1.example.org"])
 activity(a2,sub-workflow,t3,t4,[host="server2.example.org"])
+wasStartedBy(a2,a1)
+
 entity(e,[prov:type="spawn-request"])
 wasGeneratedBy(e,a2)
 wasStartedBy(a2,e)
-wasStartedBy(a2,a1)
 </pre>
 <p>The one identified by <span class="name">a2</span> was started 
 by the one identified by <span class="name">a1</span>