diff --git a/CHANGELOG.md b/CHANGELOG.md
index 3f46a02b7..9c119a220 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,7 +7,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## Added
 - New solc-specific simplification rules that should make the final Props a lot more readable
-- Better BufLength and Max simplifications of Expr, and further solc-specific simplifications of Expr
+- Prop is now correctly ordered, better BufLength and Max simplifications of Expr,
+  and further solc-specific simplifications of Expr
 
 ## [0.52.0] - 2023-10-26