diff --git a/CHANGELOG.md b/CHANGELOG.md
index ab8b6cd..fe31f20 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,6 +7,10 @@ Features:
 * basic simplification of output formulas (optional)
 * command-line option `--simplify` to turn on simplification
 
+Bug Fixes:
+
+* fixes incorrectly translated choice rules with multiple elements in the head aggregate
+
 Internal:
 
 * explicit syntax tree representation for first-order formulas