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<br/>
 bookvol10.4 IBACHIN +-> conversion<br/>
 <a href="patches/20090512.06.tpd.patch">20090512.06.tpd.patch</a>
 bookvol10.3 ISUPS +-> conversion<br/>
+<a href="patches/20090512.07.tpd.patch">20090512.07.tpd.patch</a>
+bookvol10.3 INT +-> conversion<br/>
  </body>
 </html>