diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet
index eff8395..6e60d44 100644
--- a/books/bookvol10.4.pamphlet
+++ b/books/bookvol10.4.pamphlet
@@ -46998,7 +46998,7 @@ IntegrationResultRFToFunction(R): Exports == Implementation where
toEF: IR -> IntegrationResult F
- toEF i == map(#1::F, i)$IntegrationResultFunctions2(RF, F)
+ toEF i == map(z1+->z1::F, i)$IntegrationResultFunctions2(RF, F)
expand i == expand toEF i
complexExpand i == complexExpand toEF i
diff --git a/changelog b/changelog
index be0a59f..4cb2c05 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090605 tpd src/axiom-website/patches.html 20090605.04.tpd.patch
+20090605 tpd books/bookvol10.4 IRRF2F +-> conversion
20090605 tpd src/axiom-website/patches.html 20090605.03.tpd.patch
20090605 tpd books/bookvol10.4 INTHEORY +-> conversion
20090605 tpd src/axiom-website/patches.html 20090605.02.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 8a2fd10..36aba71 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1457,5 +1457,7 @@ bookvol10.4 ISUMP +-> conversion
bookvol10.4 ITRIGMNP +-> conversion
20090605.03.tpd.patch
bookvol10.4 INTHEORY +-> conversion
+20090605.04.tpd.patch
+bookvol10.4 IRRF2F +-> conversion