diff --git a/CHANGES.md b/CHANGES.md
index af4c4db98bc2c3781561275f0340cc9bc0573b4e..b1319e4207ca1adbdf57344c029d8b1aadebd0b4 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -5,7 +5,7 @@
 * Fix the termination test that takes place before parameterized symbols are
   expanded away. The previous test was both unsound (it would accept grammars
   whose termination did not terminate) and incomplete (it would reject
-  grammars whose termination did terminate). The new test is believed to be
+  grammars whose expansion did terminate). The new test is believed to be
   sound and complete.
 
 ## 2017/11/12