diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet
index 1199e22..64fc7af 100644
--- a/books/bookvol10.2.pamphlet
+++ b/books/bookvol10.2.pamphlet
@@ -12962,11 +12962,11 @@ MatrixCategory(R,Row,Col): Category == Definition where
- x == map(- #1,x)
- a:R * x:% == map(a * #1,x)
+ a:R * x:% == map((r1:R):R +-> a * r1,x)
- x:% * a:R == map(#1 * a,x)
+ x:% * a:R == map((r1:R):R +-> r1 * a,x)
- m:Integer * x:% == map(m * #1,x)
+ m:Integer * x:% == map((r1:R):R +-> m * r1,x)
x:% * y:% ==
(ncols x ^= nrows y) =>
diff --git a/changelog b/changelog
index 80c3d40..53ad185 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090509 tpd src/axiom-website/patches.html 20090509.04.tpd.patch
+20090509 tpd books/bookvol10.2 MATCAT +-> conversion
20090509 tpd src/axiom-website/patches.html 20090509.03.tpd.patch
20090509 tpd books/bookvol10.4 INTALG +-> conversion
20090509 tpd src/axiom-website/patches.html 20090509.02.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 20883a1..d480a87 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1138,5 +1138,7 @@ bookvol10.2 ARR2CAT +-> conversion
bookvol10.3 BFUNCT +-> conversion
20090509.03.tpd.patch
bookvol10.4 INTALG +-> conversion
+20090509.04.tpd.patch
+bookvol10.2 MATCAT +-> conversion