diff --git a/CHANGELOG.md b/CHANGELOG.md
index eb6ba34a6..6b4cb0017 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -15,6 +15,10 @@ Version 1.4.x
 - Added option `--build:buildchoiceorig` to build a model (PRISM or JANI) with choice origins (which are exported with, e.g. `--exportscheduler`).
 - Apply the maximum progress assumption while building a Markov automata with the Dd engine.
 - Added option `--build:nomaxprog` to disable applying the maximum progress assumption during model building (for Markov Automata)
+- Added hybrid engine for Markov Automata
+- Implemented optimistic value iteration for sound computations and used it as a default
+- Unif+ for time bounded properties on Markov automata now computes results with relative precision. Use `--absolute` for the previous behavior.
+- Various performance improvements for model building with the sparse engine
 - `storm-dft`: Symmetry reduction is now enabled by default and can be disabled via `--nosymmetryreduction`
 - `storm-pomdp`: Only accept POMDPs that are canonical
 - `storm-pomdp`: Prism language extended with observable expressions