--- a/model/ProvenanceModel.html	Wed Aug 03 12:04:24 2011 +0100
+++ b/model/ProvenanceModel.html	Wed Aug 03 12:08:37 2011 +0100
@@ -253,20 +253,20 @@
 <p>
 Agents:
 <pre>
-entity(ag_al, [ type: "Person", name: "Alice" ])
-agent(ag_al)
-
-entity(ag_bo, [ type: "Person", name: "Bob" ])
-agent(ag_bo)
+entity(e7, [ type: "Person", name: "Alice" ])
+agent(e7)
 
-entity(ag_ch, [ type: "Person", name: "Charles" ])
-agent(ag_ch)
+entity(e8, [ type: "Person", name: "Bob" ])
+agent(e8)
 
-entity(ag_da, [ type: "Person", name: "David" ])
-agent(ag_da)
+entity(e9, [ type: "Person", name: "Charles" ])
+agent(e9)
 
-entity(ag_ed, [ type: "Person", name: "Edith" ])
-agent(ag_ed)
+entity(e10, [ type: "Person", name: "David" ])
+agent(e10)
+
+entity(e11, [ type: "Person", name: "Edith" ])
+agent(e11)
 </pre>
 </p>
 
@@ -274,11 +274,11 @@
 <p>
 Control:
 <pre>
-isControlledBy(pe0,ag_al,"creator")
-isControlledBy(pe1,ag_bo,"author")
-isControlledBy(pe2,ag_ch, "communicator")
-isControlledBy(pe3,ag_da,"author")
-isControlledBy(pe4,ag_ed, "communicator")
+isControlledBy(pe0,e7,"creator")
+isControlledBy(pe1,e8,"author")
+isControlledBy(pe2,e9, "communicator")
+isControlledBy(pe3,e10,"author")
+isControlledBy(pe4,e11, "communicator")
 </pre>
 </p>
 </section>