diff --git a/CHANGELOG.md b/CHANGELOG.md
index fe31f20..f5215ab 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -4,7 +4,7 @@
 
 Features:
 
-* basic simplification of output formulas (optional)
+* simplification of output formulas (optional)
 * command-line option `--simplify` to turn on simplification
 
 Bug Fixes: