--- a/semantics/prov-sem.html	Fri Apr 05 16:04:24 2013 +0100
+++ b/semantics/prov-sem.html	Fri Apr 05 16:05:38 2013 +0100
@@ -3493,7 +3493,7 @@
 
 <div class="proof">
   <p>These properties follow from <a href="#axiom31">Axiom 31</a> and
-  <a href="#axiom 32">Axiom 32</a>.
+  <a href="#axiom32">Axiom 32</a>.
   </p>
   </div>
 
@@ -3515,7 +3515,7 @@
 
 <div class="proof">
   <p>These properties follow from <a href="#axiom33">Axiom 33</a> and
-  <a href="#axiom 34">Axiom 34</a>.
+  <a href="#axiom34">Axiom 34</a>.
   </p>
   </div>
 

--- a/semantics/releases/NOTE-prov-sem-20130430/Overview.html	Fri Apr 05 16:04:24 2013 +0100
+++ b/semantics/releases/NOTE-prov-sem-20130430/Overview.html	Fri Apr 05 16:05:38 2013 +0100
@@ -3401,7 +3401,7 @@
 
 <div class="proof">
   <p>These properties follow from <a href="#axiom31">Axiom 31</a> and
-  <a href="#axiom 32">Axiom 32</a>.
+  <a href="#axiom32">Axiom 32</a>.
   </p>
   </div>
 
@@ -3423,7 +3423,7 @@
 
 <div class="proof">
   <p>These properties follow from <a href="#axiom33">Axiom 33</a> and
-  <a href="#axiom 34">Axiom 34</a>.
+  <a href="#axiom34">Axiom 34</a>.
   </p>
   </div>