diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2009-09-18  John D. Ramsdell  <ramsdell@mm144697-pc.mitre.org>
+
+	* src/Algebra/CommutativeMonoid/Unification.hs: Changed
+	occurrences of group to monoid in comments.
+
+	* cmu.cabal (Version): Released as version 1.2.
+
 2009-09-17  John D. Ramsdell  <ramsdell@mitre.org>
 
 	* cmu.cabal (Version): Released as version 1.0.
diff --git a/cmu.cabal b/cmu.cabal
--- a/cmu.cabal
+++ b/cmu.cabal
@@ -1,5 +1,5 @@
 Name:			cmu
-Version:		1.1
+Version:		1.2
 Maintainer:		ramsdell@mitre.org
 Cabal-Version:		>= 1.2
 License:		GPL
diff --git a/src/Algebra/CommutativeMonoid/Unification.hs b/src/Algebra/CommutativeMonoid/Unification.hs
--- a/src/Algebra/CommutativeMonoid/Unification.hs
+++ b/src/Algebra/CommutativeMonoid/Unification.hs
@@ -25,7 +25,7 @@
 -- In this module, a commutative monoid is a free algebra over a
 -- signature with two function symbols:
 --
---     * the binary symbol +, the group operator,
+--     * the binary symbol +, the moniod operator,
 --
 --     * a constant 0, the identity element, and
 --
@@ -38,7 +38,7 @@
 --
 -- [Associativity] (x + y) + z = x + (y + z)
 --
--- [Group Identity] x + 0 = x
+-- [Identity Element] x + 0 = x
 --
 -- A substitution maps variables to terms.  A substitution s is
 -- applied to a term as follows.
@@ -75,7 +75,7 @@
 -- In this module, a commutative monoid is a free algebra over a signature
 -- with two function symbols:
 --
--- * the binary symbol +, the group operator,
+-- * the binary symbol +, the moniod operator,
 -- * a constant 0, the identity element, and
 --
 -- The algebra is generated by a set of variables.  Syntactically, a
@@ -85,7 +85,7 @@
 --
 -- * x + y = y + x                 Commutativity
 -- * (x + y) + z = x + (y + z)     Associativity
--- * x + 0 = x                     Group identity
+-- * x + 0 = x                     Identity Element
 
 -- A substitution maps variables to terms.  A substitution s is
 -- extended to a term as follows.
@@ -98,17 +98,17 @@
 -- the axioms of the algebra.  Substitition s is more general than s'
 -- if there is a substitition s" such that s' = s" o s.
 
--- A term is represented by the group identity, or as the sum of
+-- A term is represented by the identity element, or as the sum of
 -- factors.  A factor is the product of a positive integer coefficient
 -- and a variable.  In this representation, no variable occurs twice.
 -- Thus a term is represented by a finite map from variables to
 -- non-negative integers.
 
--- | A term in a commutative monoid is represented by the group
+-- | A term in a commutative monoid is represented by the
 -- identity element, or as the sum of factors.  A factor is the
 -- product of a positive integer coefficient and a variable.  No
 -- variable occurs twice in a term.  For the show and read methods,
--- zero is the group identity, the plus sign is the group operation.
+-- zero is the identity element, the plus sign is the moniod operation.
 newtype Term = Term (Map String Int) deriving Eq
 
 -- Constructors