--- a/model/prov-n.html	Mon May 28 13:43:50 2012 +0100
+++ b/model/prov-n.html	Mon May 28 13:44:13 2012 +0100
@@ -800,11 +800,11 @@
 The remaining examples show cases where some of the optionals are omitted.
   
 <pre class="codeexample">
-wasGeneratedBy(tr:WD-prov-dm-20111215, ex:edit1)
-wasGeneratedBy(tr:WD-prov-dm-20111215, ex:edit1, 2011-11-16T16:00:00)
+wasGeneratedBy(e2, a1, tr:WD-prov-dm-20111215)
+wasGeneratedBy(e, ex:edit1, 2011-11-16T16:00:00)
 wasGeneratedBy(e2, a1, -, [ex:fct="save"])     
-wasGeneratedBy(e2, -, -, [ex:fct="save"])     
-wasGeneratedBy(ex:g1; tr:WD-prov-dm-20111215, ex:edit1)
+wasGeneratedBy(e2, [ex:fct="save"])     
+wasGeneratedBy(ex:g1; e, a, tr:WD-prov-dm-20111215)
 </pre>
 </div>