diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet
index aa0b617..8a853d2 100644
--- a/books/bookvol10.4.pamphlet
+++ b/books/bookvol10.4.pamphlet
@@ -6205,8 +6205,8 @@ ChineseRemainderToolsForIntegralBases(K,R,UP): Exports == Implementation where
s := s + pPower * sigma; t := t + pPower * tau
quorem := monicDivide(s,gSUP)
pPower := pPower * p
- s := map(#1 rem pPower,quorem.remainder)
- t := map(#1 rem pPower,t + fSUP * (quorem.quotient))
+ s := map((r1:R):R+->r1 rem pPower,quorem.remainder)
+ t := map((r1:R):R+->r1 rem pPower,t + fSUP * (quorem.quotient))
[unmakeSUP s,unmakeSUP t]
--mapChineseToList: (L SUP Q,L SUP Q,I) -> L SUP Q
diff --git a/changelog b/changelog
index c690c05..9d9107b 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090512 tpd src/axiom-website/patches.html 20090512.05.tpd.patch
+20090512 tpd books/bookvol10.4 IBACHIN +-> conversion
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
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 14d07cd..1de6d0e 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1260,5 +1260,7 @@ bookvol10.3 IAN +-> conversion
bookvol10.4 CTRIGMNP +-> conversion
20090512.04.tpd.patch
bookvol10.3 IFAMON +-> conversion
+20090512.05.tpd.patch
+bookvol10.4 IBACHIN +-> conversion