diff --git a/HISTORY b/HISTORY
index d0c9bf8f5..6c2ea306b 100644
--- a/HISTORY
+++ b/HISTORY
@@ -11,7 +11,7 @@ with an enhanced sudoers format.  This version was bought by a
 consulting firm called "The Root Group" and released under the GNU
 public license.
 
-In 1994, after maintaining sudo informally withing CU-Boulder for
+In 1994, after maintaining sudo informally within CU-Boulder for
 some time, Todd Miller made a public release of "CU sudo" (version
 1.3) with bug fixes and support for more operating systems.  The
 "CU" was added to differentiate it from the "official" version from