diff --git a/CHANGELOG.md b/CHANGELOG.md
index d93f562fe8c5c4e960d535a734f09cb29e923803..8ae1c3de0eaac259ea0b8a2cf6588929a09a2311 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -24,7 +24,7 @@ Changes in and extensions of the theory:
   functions.
 * [#] Add atomic updates and logically atomic triples, including tactic support.
   See `heap_lang/lib/increment.v` for an example.
-* [#] HeapLang now uses right-to-left evaluation order. This makes it
+* [#] heap_lang now uses right-to-left evaluation order. This makes it
   significantly easier to write specifications of curried functions.
 
 Changes in Coq: