--- a/model/prov-n.html	Fri May 25 11:09:54 2012 +0100
+++ b/model/prov-n.html	Fri May 25 11:48:03 2012 +0100
@@ -803,11 +803,11 @@
 
 <tbody class="grammar-ref" data-ref="prod-usageExpression"></tbody>
 </table>
-
+<!--
 <div class="note">should this: 	usageExpression	   ::=   	"used" "(" optionalIdentifier aIdentifier "," eIdentifier ( "," timeOrMarker )? optionalAttributeValuePairs ")"  <br/>
  be:  	usageExpression	   ::=   	"used" "(" optionalIdentifier aIdentifier ( "," eIdentifier  "," timeOrMarker )? optionalAttributeValuePairs ")"   ?
 </div>
-
+-->
 
 
 <div class="anexample">
@@ -821,11 +821,10 @@
 The remaining examples show cases where some of the optionals are omitted.
 
   <pre class="codeexample">
-used(ex:act2, ar3:0111)
+used(ex:act2)
 used(ex:act2, ar3:0111, 2011-11-16T16:00:00)
 used(a1,e1, -, [ex:fct="load"])
-used(ex:u1; ex:act2, ar3:0111)
-used(-, ex:act2, ar3:0111)
+used(ex:u1; ex:act2, ar3:0111, -)
 </pre>
 </div>