diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet
index 3c0b9d3..3852e20 100644
--- a/books/bookvol10.4.pamphlet
+++ b/books/bookvol10.4.pamphlet
@@ -120306,7 +120306,7 @@ PatternMatchFunctionSpace(S, R, F): Exports== Implementation where
patternMatch(denom(x)::F, uq.den, l)
(u := isPlus p) case List(PAT) =>
(lx := isPlus x) case List(F) =>
- patternMatch(lx::List(F), u::List(PAT), +/#1, l, patternMatch)
+ patternMatch(lx::List(F), u::List(PAT), l1 +-> +/l1, l, patternMatch)
(u := optpair(u::List(PAT))) case List(PAT) =>
failed?(l := addMatch(first(u::List(PAT)), 0, l)) => failed()
patternMatch(x, second(u::List(PAT)), l)
diff --git a/changelog b/changelog
index 7ed77c8..33afdb2 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090609 tpd src/axiom-website/patches.html 20090610.01.tpd.patch
+20090609 tpd books/bookvol10.4 PMFS +-> conversion
20090609 tpd src/axiom-website/patches.html 20090609.09.tpd.patch
20090609 tpd books/bookvol10.4 PATTERN1 +-> conversion
20090609 tpd src/axiom-website/patches.html 20090609.08.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index f73dcab..2dd40c8 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1531,5 +1531,7 @@ bookvol10.4 PFRPAC +-> conversion
bookvol10.4 PARTPERM +-> conversion
20090609.09.tpd.patch
bookvol10.4 PATTERN1 +-> conversion
+20090610.01.tpd.patch
+bookvol10.4 PMFS +-> conversion