diff --git a/changelog b/changelog
index 9a45e9f..93f4e6f 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090515 tpd src/axiom-website/patches.html 20090515.08.tpd.patch
+20090515 tpd src/interp/compiler.boot fix missing space typos
 20090515 tpd src/axiom-website/patches.html 20090515.07.tpd.patch
 20090515 tpd books/bookvol10.4 EFSTRUC +-> conversion
 20090515 tpd src/axiom-website/patches.html 20090515.06.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 47d6f56..4540d27 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1318,5 +1318,7 @@ bookvol10.4 SIGNEF +-> conversion<br/>
 bookvol10.3 IDEAL +-> conversion<br/>
 <a href="patches/20090515.07.tpd.patch">20090515.07.tpd.patch</a>
 bookvol10.4 EFSTRUC +-> conversion<br/>
+<a href="patches/20090516.01.tpd.patch">20090516.01.tpd.patch</a>
+compiler.boot fix missing space typos<br/>
  </body>
 </html>
diff --git a/src/interp/compiler.boot.pamphlet b/src/interp/compiler.boot.pamphlet
index fbf3c53..e07ad75 100644
--- a/src/interp/compiler.boot.pamphlet
+++ b/src/interp/compiler.boot.pamphlet
@@ -285,9 +285,9 @@ compLambda(x is ["+->",vl,body],m,e) ==
       sig1 =>
         ress:=compAtSign(["@",["+->",arg1,body],["Mapping",target,:sig1]],m,e)
         ress
-      stackAndThrow["compLambda",x]
-    stackAndThrow["compLambda",x]
-  stackAndThrow["compLambda",x]
+      stackAndThrow ["compLambda",x]
+    stackAndThrow ["compLambda",x]
+  stackAndThrow ["compLambda",x]
 
 @
 \subsection{compWithMappingMode}