diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet
index 1a62084..2c8554c 100644
--- a/books/bookvol10.2.pamphlet
+++ b/books/bookvol10.2.pamphlet
@@ -21005,7 +21005,7 @@ These exports come from \refto{AbelianMonoid}():
++ Axiom\br
++ \tab{5} x < y => x+z < y+z
-OrderedAbelianSemiGroup(): Category == Join(OrderedSet, AbelianMonoid)
+OrderedAbelianSemiGroup(): Category == Join(OrderedSet, AbelianSemiGroup)
\end{chunk}
\begin{chunk}{OASGP.dotabb}
diff --git a/changelog b/changelog
index 6382dd8..8b51cb3 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20141004 tpd src/axiom-website/patches.html 20141004.03.tpd.patch
+20141004 tpd books/bookvol10.2 fix OrderedAbelianSemiGroup
20141004 tpd src/axiom-website/patches.html 20141004.02.tpd.patch
20141004 tpd books/bookvolbib fix typo
20141004 tpd src/axiom-website/patches.html 20141004.01.tpd.patch
diff --git a/patch b/patch
index 8e9aaf6..09fa599 100644
--- a/patch
+++ b/patch
@@ -1,4 +1,5 @@
-books/bookvolbib fix typo
+books/bookvol10.2 fix OrderedAbelianSemiGroup
-Sigh.
+-OrderedAbelianSemiGroup(): Category == Join(OrderedSet, AbelianMonoid)
++OrderedAbelianSemiGroup(): Category == Join(OrderedSet, AbelianSemiGroup)
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index feceb49..57c312b 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -4664,6 +4664,8 @@ src/interp/i-analy.lisp fix wrong type on output
books/bookvol10.1, 10.2, bib add documentation
20141004.02.tpd.patch
books/bookvolbib fix typo
+20141004.03.tpd.patch
+books/bookvol10.2 fix OrderedAbelianSemiGroup