diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet
index 211ddc1..c660020 100644
--- a/books/bookvol10.2.pamphlet
+++ b/books/bookvol10.2.pamphlet
@@ -13138,7 +13138,7 @@ inverse matrix [[j**i for i in 0..4] for j in 1..5]
--R Type: Matrix Integer
--E 58
---S 59 of 59
+--S 59
)show MatrixCategory
--R
--R MatrixCategory(R: Ring,Row: FiniteLinearAggregate t#1,Col: FiniteLinearAggregate t#1) is a category constructor
@@ -17793,7 +17793,7 @@ ExtensibleLinearAggregate(S:Type):Category == LinearAggregate S with
concat_!(x:%, y:S) == concat_!(x, new(1, y))
if S has SetCategory then
remove(s:S, x:%) == remove_!(s, copy x)
- remove_!(s:S, x:%) == remove_!(#1 = s, x)
+ remove_!(s:S, x:%) == remove_!(y +-> y = s, x)
removeDuplicates(x:%) == removeDuplicates_!(copy x)
if S has OrderedSet then
diff --git a/changelog b/changelog
index 1e43cf4..783c607 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090510 tpd src/axiom-website/patches.html 20090510.06.tpd.patch
+20090510 tpd books/bookvol10.2 ELAGG +-> conversion
20090510 tpd src/axiom-website/patches.html 20090510.05.tpd.patch
20090510 tpd books/bookvol10.3 D01ALFA +-> conversion
20090510 tpd src/axiom-website/patches.html 20090510.04.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 598a735..bcf6bbd 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1170,5 +1170,7 @@ bookvol10.4 ALGFACT +-> conversion
bookvol10.2 MatrixCategory test, help, examples
20090510.05.tpd.patch
bookvol10.3 D01ALFA +-> conversion
+20090510.06.tpd.patch
+bookvol10.2 ELAGG +-> conversion