diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet
index aa0e68b..1199e22 100644
--- a/books/bookvol10.2.pamphlet
+++ b/books/bookvol10.2.pamphlet
@@ -10883,7 +10883,7 @@ TwoDimensionalArrayCategory(R,Row,Col): Category == Definition where
             qelt(m,i,j) = r => return true
         false
 
-      count(r:R,m:%) == count(#1 = r,m)
+      count(r:R,m:%) == count(x +-> x = r,m)
 
     if Row has shallowlyMutable then
 
diff --git a/changelog b/changelog
index e4b1467..b6c9104 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090509 tpd src/axiom-website/patches.html 20090509.01.tpd.patch
+20090509 tpd bookvol10.2 ARR2CAT +-> conversion
 20090508 tpd src/axiom-website/patches.html 20090508.09.tpd.patch
 20090508 tpd books/bookvol10.2 EF +-> conversion
 20090508 tpd src/axiom-website/patches.html 20090508.08.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 5a1a06b..9bd1468 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1132,5 +1132,7 @@ bookvol10.2 CLAGG +-> conversion<br/>
 bookvol10.4 INTHERAL +-> conversion<br/>
 <a href="patches/20090508.09.tpd.patch">20090508.09.tpd.patch</a>
 bookvol10.2 EF +-> conversion<br/>
+<a href="patches/20090509.01.tpd.patch">20090509.01.tpd.patch</a>
+bookvol10.2 ARR2CAT +-> conversion<br/>
  </body>
 </html>