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
bookvol10.4 INTHERAL +-> conversion
20090508.09.tpd.patch
bookvol10.2 EF +-> conversion
+20090509.01.tpd.patch
+bookvol10.2 ARR2CAT +-> conversion