--- a/model/ProvenanceModel.html	Wed Aug 24 21:22:06 2011 +0100
+++ b/model/ProvenanceModel.html	Thu Aug 25 09:55:06 2011 +0100
@@ -278,11 +278,11 @@
 <p>
 Control (construct described in <a href="#concept-Control">Section Control</a>): the influence of an agent over a process execution is expressed as control, and the nature of this influence is described by a role  (construct described in <a href="#concept-Role">Section Role</a>).  Illustrations of such roles are creator, author and communicator.
 <pre>
-isControlledBy(pe0,e7, creator)
-isControlledBy(pe1,e8, author)
-isControlledBy(pe2,e9, communicator)
-isControlledBy(pe3,e10, author)
-isControlledBy(pe4,e11, communicator)
+isControlledBy(pe0,a1, creator)
+isControlledBy(pe1,a2, author)
+isControlledBy(pe2,a3, communicator)
+isControlledBy(pe3,a4, author)
+isControlledBy(pe4,a5, communicator)
 </pre>
 </p>
 </section>