diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet
index 4487fa7..745477d 100644
--- a/books/bookvol10.4.pamphlet
+++ b/books/bookvol10.4.pamphlet
@@ -128951,8 +128951,7 @@ PureAlgebraicIntegration(R, F, L): Exports == Implementation where
RF2UPUP(f, modulus) ==
bc := extendedEuclidean(map((z1:F):RF+->z1::UP::RF, denom f), modulus,
1)::Record(coef1:UPUP, coef2:UPUP)
- -- TPD changing this to map((x1:F)::RF+->f1::UP::RF breaks tests
- (map(#1::UP::RF, numer f) * bc.coef1) rem modulus
+ (map((x1:F):RF+->x1::UP::RF, numer f) * bc.coef1) rem modulus
-- returns "failed", or (xx, c) such that f(x, y)dx = f(xx, y) c dy
-- if p(x, y) = 0 is linear in x
diff --git a/changelog b/changelog
index c090654..eded704 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090620 tpd src/axiom-website/patches.html 20090620.07.tpd.patch
+20090620 tpd books/bookvol10.4 INTPAF +-> conversion
20090620 tpd src/axiom-website/patches.html 20090620.06.tpd.patch
20090620 tpd src/Makefile build books in parallel with src
20090620 tpd Makefile build books in parallel with src
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 3411322..a124c15 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1611,5 +1611,7 @@ bookvol10.4 RECOP +-> conversion
bookvol10.4 ODERED +-> conversion
20090620.06.tpd.patch
Makefile build books in parallel with src
+20090620.07.tpd.patch
+bookvol10.4 INTPAF +-> conversion