diff --git a/books/bookvol10.3.pamphlet b/books/bookvol10.3.pamphlet
index cfdb92f..a5ab298 100644
--- a/books/bookvol10.3.pamphlet
+++ b/books/bookvol10.3.pamphlet
@@ -46132,8 +46132,8 @@ InnerFreeAbelianMonoid(S: SetCategory, E:CancellationAbelianMonoid, un:E):
f:$ + g:$ == plus(f, g)
(f:$ = g:$):Boolean == commutativeEquality(f,g)
n:E * s:S == makeTerm(s, n)
- n:NonNegativeInteger * f:$ == mapExpon(n * #1, f)
- coerce(f:$):OutputForm == outputForm(f, "+", #2 * #1, 0)
+ n:NonNegativeInteger * f:$ == mapExpon(x +-> n*x, f)
+ coerce(f:$):OutputForm == outputForm(f, "+", (x,y) +-> y*x, 0)
mapCoef(f, x) == mapExpon(f, x)
mapGen(f, x) == mapGen(f, x)$Rep
diff --git a/changelog b/changelog
index b222bff..c690c05 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090512 tpd src/axiom-website/patches.html 20090512.04.tpd.patch
+20090512 tpd books/bookvol10.3 IFAMON +-> conversion
20090512 tpd src/axiom-website/patches.html 20090512.03.tpd.patch
20090512 tpd books/bookvol10.4 CTRIGMNP +-> conversion
20090512 tpd src/axiom-website/patches.html 20090512.02.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 3fd4af3..14d07cd 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1258,5 +1258,7 @@ bookvol10.3 GOPT +-> conversion
bookvol10.3 IAN +-> conversion
20090512.03.tpd.patch
bookvol10.4 CTRIGMNP +-> conversion
+20090512.04.tpd.patch
+bookvol10.3 IFAMON +-> conversion