diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet
index dc39a6a..0f48638 100644
--- a/books/bookvol10.4.pamphlet
+++ b/books/bookvol10.4.pamphlet
@@ -128119,7 +128119,8 @@ PseudoRemainderSequence(R, polR) : Specification == Implementation where
r : R * v : Vector(polR) == r::polR * v
-- the instruction map(r * #1, v) is slower !?
- v : Vector(polR) exquo r : R == map((#1 exquo r)::polR, v)
+ v : Vector(polR) exquo r : R ==
+ map((p1:polR):polR +-> (p1 exquo r)::polR, v)
pseudoDivide(P : polR, Q : polR) :
Record(coef:R,quotient:polR,remainder:polR) ==
diff --git a/changelog b/changelog
index c27d5c6..27446ea 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090614 tpd src/axiom-website/patches.html 20090614.05.tpd.patch
+20090614 tpd books/bookvol10.4 PRS +-> conversion
20090614 tpd src/axiom-website/patches.html 20090614.04.tpd.patch
20090614 tpd books/bookvol10.4 PSEUDLIN +-> conversion
20090614 tpd src/axiom-website/patches.html 20090614.03.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 942094d..adff9bd 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1573,5 +1573,7 @@ bookvol10.4 ODEPRIM +-> conversion
bookvol10.4 ODPRRIC +-> conversion
20090614.04.tpd.patch
bookvol10.4 PSEUDLIN +-> conversion
+20090614.05.tpd.patch
+bookvol10.4 PRS +-> conversion