diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet
index 671daee..073d07e 100644
--- a/books/bookvol10.4.pamphlet
+++ b/books/bookvol10.4.pamphlet
@@ -29301,8 +29301,9 @@ FunctionSpaceFunctions2(R, A, S, B): Exports == Implementation where
smpmap: (R -> S, P) -> B
smpmap(fn, p) ==
- map(map(map(fn, #1), #1)$ExpressionSpaceFunctions2(A,B),fn(#1)::B,
- p)$PolynomialCategoryLifting(IndexedExponents K, K, R, P, B)
+ map(x+->map(z+->map(fn, z),x)$ExpressionSpaceFunctions2(A,B),
+ y+->fn(y)::B,p)_
+ $PolynomialCategoryLifting(IndexedExponents K, K, R, P, B)
if R has IntegralDomain then
if S has IntegralDomain then
diff --git a/changelog b/changelog
index 274c474..9885786 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090520 tpd src/axiom-website/patches.html 20090520.01.tpd.patch
+20090520 tpd books/bookvol10.4 F FS2 +-> conversion
20090519 tpd src/axiom-website/patches.html 20090519.09.tpd.patch
20090519 tpd books/bookvol10.4 FSCINT +-> conversion
20090519 tpd src/axiom-website/patches.html 20090519.08.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 88f34a3..742a734 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1382,5 +1382,7 @@ bookvol10.4 FSPECF +-> conversion
bookvol10.3 XRPOLY +-> conversion
20090519.09.tpd.patch
bookvol10.4 FSCINT +-> conversion
+20090520.01.tpd.patch
+bookvol10.4 FS2 +-> conversion