--- a/model/ProvenanceModel.html	Thu Dec 08 10:36:54 2011 +0000
+++ b/model/ProvenanceModel.html	Thu Dec 08 10:57:07 2011 +0000
@@ -2875,8 +2875,8 @@
 <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="codeexample">
-activity(a1,workflow,t1,t2,[host="server1.example.org"])
-activity(a2,sub-workflow,t3,t4,[host="server2.example.org"])
+activity(a1,workflow,t1,t2,[ex:host="server1.example.org"])
+activity(a2,sub-workflow,t3,t4,[ex:host="server2.example.org"])
 wasStartedBy(a2,a1)
 
 entity(e,[prov:type="spawn-request"])