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<br/>
 bookvol10.4 PARTPERM +-> conversion<br/>
 <a href="patches/20090609.09.tpd.patch">20090609.09.tpd.patch</a>
 bookvol10.4 PATTERN1 +-> conversion<br/>
+<a href="patches/20090610.01.tpd.patch">20090610.01.tpd.patch</a>
+bookvol10.4 PMFS +-> conversion<br/>
  </body>
 </html>