diff --git a/CHANGELOG.md b/CHANGELOG.md
index af9b3d6a8..21ad6718a 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,6 +7,9 @@ The releases of major and minor versions contain an overview of changes since th
 Version 1.2.x
 -------------
 
+### Version 1.2.3 (2018/07)
+- Fix in version parsing
+
 ### Version 1.2.2 (2018/07)
 - Sound value iteration (SVI) for DTMCs and MDPs
 - Topological solver for linear equation systems and MinMax equation systems (enabled by default)
diff --git a/version.cmake b/version.cmake
index 6a9d667db..b82fc11c5 100644
--- a/version.cmake
+++ b/version.cmake
@@ -1,4 +1,4 @@
 set(STORM_VERSION_MAJOR 1)
 set(STORM_VERSION_MINOR 2)
-set(STORM_VERSION_PATCH 2)
+set(STORM_VERSION_PATCH 3)