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<br/>
 books/bookvol10.1, 10.2, bib add documentation<br/>
 <a href="patches/20141004.02.tpd.patch">20141004.02.tpd.patch</a>
 books/bookvolbib fix typo<br/>
+<a href="patches/20141004.03.tpd.patch">20141004.03.tpd.patch</a>
+books/bookvol10.2 fix OrderedAbelianSemiGroup<br/>
  </body>
 </html>