diff --git a/CHANGELOG.md b/CHANGELOG.md
index de69b3b1d..da86c5d73 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -8,7 +8,9 @@ Version 1.4.x
 -------------
 
 ## Version 1.4.2 (under development)
-- n.a.
+- `storm-pomdp`: Only accept POMDPs that are canonical
+- `storm-pomdp`: Prism language extended with observable expressions
+- `storm-pomdp`: Various fixes that prevented usage.
 
 ### Version 1.4.1 (2019/12)
 - Implemented long run average (LRA) computation for DTMCs/CTMCs via value iteration and via gain/bias equations.