diff --git a/CHANGELOG.md b/CHANGELOG.md
index 88b9d62f0..665781bd9 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -11,26 +11,13 @@ Version 1.3.x
 ### Version 1.3.0 (2018/12)
 - Slightly improved scheduler extraction
 - Environments are now part of the c++ API
-
-
-### Comparison with Version 1.2.0 (details see below)
-- Heavily extended JANI-support
-- New binary `storm-conv` that handles conversion between model files
-- New binary `storm-pomdp` that  handles the translation of POMDPs to pMCs.
-- `storm-gspn` improved
-- Sound value iteration
-
-Version 1.2.x
--------------
-
-### Version 1.2.4 (2018/08)
 - Heavily extended JANI support, in particular:
 	 * arrays, functions, state-exit-rewards (all engines)
 	 * indexed assignments, complex reward expressions (sparse engine)
 	 * several jani-related bug fixes
 - New binary `storm-conv` that handles conversions between model files
 - New binary `storm-pomdp` that handles the translation of POMDPs to pMCs.
-- Closing a Markov automaton now removes unreachable states
+- Maximal progress assumption is now applied while building Markov Automata (sparse engine).
 - Added support for expected time properties for discrete time models
 - Bug fix in the parser for DRN (MDPs and MAs might have been affected).
 - `storm-gspn`: Improved .pnpro parser
@@ -39,6 +26,16 @@ Version 1.2.x
 - `storm-gspn`: Added option to include a set of standard properties when converting GSPNs to jani
 - `storm-pars`: Added possibility to compute the extremal value within a given region using parameter lifting
 
+### Comparison with Version 1.2.0 (details see below)
+- Heavily extended JANI-support
+- New binary `storm-conv` that handles conversion between model files
+- New binary `storm-pomdp` that  handles the translation of POMDPs to pMCs.
+- `storm-gspn` improved
+- Sound value iteration
+
+Version 1.2.x
+-------------
+
 ### Version 1.2.3 (2018/07)
 - Fix in version parsing