diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet
index 49ffb4f..3c0b9d3 100644
--- a/books/bookvol10.4.pamphlet
+++ b/books/bookvol10.4.pamphlet
@@ -120019,7 +120019,7 @@ PatternFunctions1(R:SetCategory, D:Type): with
     st      : (Pattern R, List Any) -> Pattern R
  
     st(p, l)          == withPredicates(p, concat(predicates p, l))
-    predicate p       == applyAll(predicates p, #1)
+    predicate p       == (d1:D):Boolean +-> applyAll(predicates p, d1)
     addBadValue(p, v) == addBadValue(p, coerce(v)$A1D)
     badValues p       == [retract(v)$A1D for v in getBadValues p]
     suchThat(p, l, f) == setTopPredicate(copy p, l, coerce(f)$A1L)
diff --git a/changelog b/changelog
index cdd4e6d..7ed77c8 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+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
 20090609 tpd books/bookvol10.4 PARTPERM +-> conversion
 20090609 tpd src/axiom-website/patches.html 20090609.07.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 135dfe6..f73dcab 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1529,5 +1529,7 @@ bookvol10.4 PLEQN +-> conversion<br/>
 bookvol10.4 PFRPAC +-> conversion<br/>
 <a href="patches/20090609.08.tpd.patch">20090609.08.tpd.patch</a>
 bookvol10.4 PARTPERM +-> conversion<br/>
+<a href="patches/20090609.09.tpd.patch">20090609.09.tpd.patch</a>
+bookvol10.4 PATTERN1 +-> conversion<br/>
  </body>
 </html>