diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet
index 91981b1..65dd6e9 100644
--- a/books/bookvol10.4.pamphlet
+++ b/books/bookvol10.4.pamphlet
@@ -5625,7 +5625,7 @@ BoundIntegerRoots(F, UP): Exports == Implementation where
integerBound p ==
-- one? degree p => zroot1 p
(degree p) = 1 => zroot1 p
- qbound(p, map(retract(#1)@Q, p))
+ qbound(p, map((z1:F):Q +-> retract(z1)@Q, p))
-- we can probably do better here (i.e. without factoring)
qbound(p, q) ==
diff --git a/changelog b/changelog
index 0405002..68c0ba2 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090510 tpd src/axiom-website/patches.html 20090510.27.tpd.patch
+20090510 tpd books/bookvol10.4 BOUNDZRO +-> conversion
20090510 tpd src/axiom-website/patches.html 20090510.26.tpd.patch
20090510 tpd books/bookvol10.3 D01TRNS +-> conversion
20090510 tpd src/axiom-website/patches.html 20090510.25.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 3a10128..f73df37 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1212,5 +1212,7 @@ bookvol10.3 D01GBFA +-> conversion
bookvol10.2 DPOLCAT +-> conversion
20090510.26.tpd.patch
bookvol10.3 D01TRNS +-> conversion
+20090510.27.tpd.patch
+bookvol10.4 BOUNDZRO +-> conversion