diff --git a/books/bookvol10.3.pamphlet b/books/bookvol10.3.pamphlet
index d482750..47998e7 100644
--- a/books/bookvol10.3.pamphlet
+++ b/books/bookvol10.3.pamphlet
@@ -49519,7 +49519,7 @@ Integer: Join(IntegerNumberSystem, ConvertibleTo String, OpenMath) with
leadingCoefficient pp = leadingCoefficient p =>
factor(p)$GaloisGroupFactorizer(ZP)
mergeFactors(factor(pp)$GaloisGroupFactorizer(ZP),
- map(#1::ZP,
+ map((x1:%):ZP+->x1::ZP,
factor((leadingCoefficient p exquo
leadingCoefficient pp)
::%))$FactoredFunctions2(%,ZP)
diff --git a/changelog b/changelog
index 9297c74..a177994 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090512 tpd src/axiom-website/patches.html 20090512.07.tpd.patch
+20090512 tpd books/bookvol10.3 INT +-> conversion
20090512 tpd src/axiom-website/patches.html 20090512.06.tpd.patch
20090512 tpd books/bookvol10.3 ISUPS +-> conversion
20090512 tpd src/axiom-website/patches.html 20090512.05.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 932a468..2c60130 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1264,5 +1264,7 @@ bookvol10.3 IFAMON +-> conversion
bookvol10.4 IBACHIN +-> conversion
20090512.06.tpd.patch
bookvol10.3 ISUPS +-> conversion
+20090512.07.tpd.patch
+bookvol10.3 INT +-> conversion