--- a/model/prov-n.html	Thu Jul 12 13:15:46 2012 +0100
+++ b/model/prov-n.html	Thu Jul 12 13:16:45 2012 +0100
@@ -2025,8 +2025,8 @@
 
 <div class="anexample">
     <pre class="codeexample">
-   hadMember(mId, c, e1)   // c contained e1
-   hadMember(mId, c, e2)   // c contained e2 
+   hadMember(c, e1)   // c contained e1
+   hadMember(c, e2)   // c contained e2 
   </pre>
 <p>  Here
   <span class="name">c</span> is the  identifier for the collection whose membership is stated, and