--- a/model/prov-constraints.html	Thu Apr 18 19:41:41 2013 +0200
+++ b/model/prov-constraints.html	Fri Apr 19 15:30:13 2013 +0100
@@ -3054,8 +3054,7 @@
 class="name">e1</span> may be used multiple times by 
  <span class="name">a</span>, usage  <span class="name">use</span>
 may not be involved in the derivation  (for example, it may well have taken place after 
-the generation of <span
-expanclass="name">e2</span>).</p>
+the generation of <span class="name">e2</span>).</p>
  </div>
 -->
  

--- a/model/releases/REC-prov-constraints-20130430/Overview.html	Thu Apr 18 19:41:41 2013 +0200
+++ b/model/releases/REC-prov-constraints-20130430/Overview.html	Fri Apr 19 15:30:13 2013 +0100
@@ -2967,7 +2967,7 @@
  <span class="name">a</span>, usage  <span class="name">use</span>
 may not be involved in the derivation  (for example, it may well have taken place after 
 the generation of <span
-expanclass="name">e2</span>).</p>
+class="name">e2</span>).</p>
  </div>
 -->
  

--- a/semantics/prov-sem.html	Thu Apr 18 19:41:41 2013 +0200
+++ b/semantics/prov-sem.html	Fri Apr 19 15:30:13 2013 +0100
@@ -3886,7 +3886,7 @@
   <p>For part 1, the arguments are as in the previous section.  </p>
   <p>For
   part 2, if $W \models I$ then since $W$ satisfies the logical forms
-  of all uniqueness and kety constraints, constraint application cannot
+  of all uniqueness and key constraints, constraint application cannot
   fail on $I$ and $W \models I'$.</p>
   <p> For part 3, proceed by induction on a terminating sequence of inference
   or uniqueness constraint steps: if $I$ is in normal form then we are
@@ -4411,11 +4411,11 @@
 
 This  document has been produced by the PROV Working Group, and its
       contents reflect extensive discussion within the Working Group
-      as a whole.  Thanks specifically to Khalid Belhajjame, Tom De
+      as a whole as well as feedback and comments from external reviewers.  Thanks specifically to Khalid Belhajjame, Tom De
       Nies, Paolo
       Missier, Simon Miles, Luc Moreau, Satya Sahoo, Jan van den
-      Bussche, and Joachim Van
-      Herwegen for detailed feedback.</p>
+      Bussche, Joachim Van
+      Herwegen, and Antoine Zimmermann for detailed feedback.</p>
 <p>
 We would also like to acknowledge <a href="http://www.dagstuhl.de">Schloss Dagstuhl - Leibniz Center for Informatics</a>, because significant progress was made on this document at  <a href="http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=12091">Dagstuhl Seminar 12091 (Principles of Provenance)</a> that took place from February 26 to March 2, 2012.
       </p>

--- a/semantics/releases/NOTE-prov-sem-20130430/Overview.html	Thu Apr 18 19:41:41 2013 +0200
+++ b/semantics/releases/NOTE-prov-sem-20130430/Overview.html	Fri Apr 19 15:30:13 2013 +0100
@@ -3755,7 +3755,7 @@
   <p>For part 1, the arguments are as in the previous section.  </p>
   <p>For
   part 2, if <span class="MathJax_Preview"></span><span class="MathJax_MathML" id="MathJax-Element-900-Frame" style="font-size: 100%; "><span class="MathJax_MathContainer" style="position: relative; display: inline-block; white-space: nowrap; "><span style="display: inline-block; "><math xmlns="http://www.w3.org/1998/Math/MathML"><mi>W</mi><mo stretchy="false">⊨</mo><mi>I</mi></math></span></span></span><script type="math/tex" id="MathJax-Element-900">W \models I</script> then since <span class="MathJax_Preview"></span><span class="MathJax_MathML" id="MathJax-Element-901-Frame" style="font-size: 100%; "><span class="MathJax_MathContainer" style="position: relative; display: inline-block; white-space: nowrap; "><span style="display: inline-block; "><math xmlns="http://www.w3.org/1998/Math/MathML"><mi>W</mi></math></span></span></span><script type="math/tex" id="MathJax-Element-901">W</script> satisfies the logical forms
-  of all uniqueness and kety constraints, constraint application cannot
+  of all uniqueness and key constraints, constraint application cannot
   fail on <span class="MathJax_Preview"></span><span class="MathJax_MathML" id="MathJax-Element-902-Frame" style="font-size: 100%; "><span class="MathJax_MathContainer" style="position: relative; display: inline-block; white-space: nowrap; "><span style="display: inline-block; "><math xmlns="http://www.w3.org/1998/Math/MathML"><mi>I</mi></math></span></span></span><script type="math/tex" id="MathJax-Element-902">I</script> and <span class="MathJax_Preview"></span><span class="MathJax_MathML" id="MathJax-Element-903-Frame" style="font-size: 100%; "><span class="MathJax_MathContainer" style="position: relative; display: inline-block; white-space: nowrap; "><span style="display: inline-block; "><math xmlns="http://www.w3.org/1998/Math/MathML"><mi>W</mi><mo stretchy="false">⊨</mo><msup><mi>I</mi><mo>′</mo></msup></math></span></span></span><script type="math/tex" id="MathJax-Element-903">W \models I'</script>.</p>
   <p> For part 3, proceed by induction on a terminating sequence of inference
   or uniqueness constraint steps: if <span class="MathJax_Preview"></span><span class="MathJax_MathML" id="MathJax-Element-904-Frame" style="font-size: 100%; "><span class="MathJax_MathContainer" style="position: relative; display: inline-block; white-space: nowrap; "><span style="display: inline-block; "><math xmlns="http://www.w3.org/1998/Math/MathML"><mi>I</mi></math></span></span></span><script type="math/tex" id="MathJax-Element-904">I</script> is in normal form then we are
@@ -4276,11 +4276,11 @@
 
 This  document has been produced by the PROV Working Group, and its
       contents reflect extensive discussion within the Working Group
-      as a whole.  Thanks specifically to Khalid Belhajjame, Tom De
+      as a whole as well as feedback and comments from external reviewers.  Thanks specifically to Khalid Belhajjame, Tom De
       Nies, Paolo
       Missier, Simon Miles, Luc Moreau, Satya Sahoo, Jan van den
-      Bussche, and Joachim Van
-      Herwegen for detailed feedback.</p>
+      Bussche, Joachim Van
+      Herwegen, and Antoine Zimmermann for detailed feedback.</p>
 <p>
 We would also like to acknowledge <a href="http://www.dagstuhl.de">Schloss Dagstuhl - Leibniz Center for Informatics</a>, because significant progress was made on this document at  <a href="http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=12091">Dagstuhl Seminar 12091 (Principles of Provenance)</a> that took place from February 26 to March 2, 2012.
       </p>