diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,12 @@
 2012-02-29  John D. Ramsdell  <ramsdell@mitre.org>
 
+	* cmu.cabal (Version): Released as version 1.5.
+
+	* src/Algebra/CommutativeMonoid/{Main.hs,Unification.hs}:
+	Corrected spelling of monoid in several places.
+
+2012-02-29  John D. Ramsdell  <ramsdell@mitre.org>
+
 	* cmu.cabal (Version): Released as version 1.4.  Also, constrained
 	the containers package to be 0.3 or greater.
 
@@ -14,7 +21,7 @@
 	* cmu.cabal (Build-Depends): changes dependency to
 	base >= 3 && <5, containers
 
-2009-09-18  John D. Ramsdell  <ramsdell@mm144697-pc.mitre.org>
+2009-09-18  John D. Ramsdell  <ramsdell@mitre.org>
 
 	* src/Algebra/CommutativeMonoid/Unification.hs: Changed
 	occurrences of group to monoid in comments.
diff --git a/cmu.cabal b/cmu.cabal
--- a/cmu.cabal
+++ b/cmu.cabal
@@ -1,5 +1,5 @@
 Name:			cmu
-Version:		1.4
+Version:		1.5
 Maintainer:		ramsdell@mitre.org
 Cabal-Version:		>= 1.2
 License:		GPL
diff --git a/src/Algebra/CommutativeMonoid/Main.hs b/src/Algebra/CommutativeMonoid/Main.hs
--- a/src/Algebra/CommutativeMonoid/Main.hs
+++ b/src/Algebra/CommutativeMonoid/Main.hs
@@ -1,4 +1,4 @@
--- A top-level loop for unification in a Commutative Moniod
+-- A top-level loop for unification in a Commutative Monoid
 --
 -- Copyright (C) 2009 John D. Ramsdell
 --
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 moniod operator,
+--     * the binary symbol +, the monoid operator,
 --
 --     * a constant 0, the identity element, and
 --
@@ -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 moniod operator,
+-- * the binary symbol +, the monoid operator,
 -- * a constant 0, the identity element, and
 --
 -- The algebra is generated by a set of variables.  Syntactically, a
@@ -108,7 +108,7 @@
 -- 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 identity element, the plus sign is the moniod operation.
+-- zero is the identity element, the plus sign is the monoid operation.
 newtype Term = Term (Map String Int) deriving Eq
 
 -- Constructors