--- a/model/prov-n.html	Thu Jul 05 13:12:45 2012 +0100
+++ b/model/prov-n.html	Thu Jul 05 14:12:20 2012 +0100
@@ -2506,7 +2506,7 @@
  href="#prod-extensibilityExpression">extensibilityExpression</a></code> production  above allows for alternative notations to be used for expressing membership, if the designers of the extensions so desire. Here is an alternate syntax that is consistent with the productions:
 <pre class="codeexample">
   prefix dictExt &lt;http://example.org/dictionaries&gt;
-  dictExt:memberOf(d, dictExt:set(dictExt:pair(k1,e1), dictExt:pair(k2,e2), dictExt:pair(k3,e3), [dictExt:uniqueKeys="true"]); mId)
+  dictExt:memberOf(mid; d, dictExt:set(dictExt:pair(k1,e1), dictExt:pair(k2,e2), dictExt:pair(k3,e3), [dictExt:uniqueKeys="true"]) 
 </pre>