diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet
index 5ceb415..39e9f4d 100644
--- a/books/bookvol10.2.pamphlet
+++ b/books/bookvol10.2.pamphlet
@@ -8516,7 +8516,7 @@ Collection(S:Type): Category == HomogeneousAggregate(S) with
        construct select(f, parts x)
 
      if S has SetCategory then
-       remove(s:S, x:%) == remove(#1 = s, x)
+       remove(s:S, x:%) == remove(y +-> y = s, x)
        reduce(f:(S,S)->S, x:%, s1:S, s2:S) == reduce(f, parts x, s1, s2)
        removeDuplicates(x) == construct removeDuplicates parts x
 
diff --git a/changelog b/changelog
index ca87da4..2db1bcc 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090508 tpd src/axiom-website/patches.html 20090508.07.tpd.patch
+20090508 tpd books/bookvol10.2 CLAGG +-> conversion
 20090508 tpd src/axiom-website/patches.html 20090508.06.tpd.patch
 20090508 tpd books/bookvol10.3 ALGFF +-> conversion
 20090508 tpd src/axiom-website/patches.html 20090508.05.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 812316b..df19184 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1126,5 +1126,7 @@ bookvol10.4 AF +-> conversion<br/>
 bookvol10.2 FEVALAB +-> conversion<br/>
 <a href="patches/20090508.06.tpd.patch">20090508.06.tpd.patch</a>
 bookvol10.3 ALGFF +-> conversion<br/>
+<a href="patches/20090508.07.tpd.patch">20090508.07.tpd.patch</a>
+bookvol10.2 CLAGG +-> conversion<br/>
  </body>
 </html>