diff --git a/CHANGES.md b/CHANGES.md
index 5dcdefea4a..199574305d 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -2,20 +2,6 @@
      This file is generated. Do not write release notes here.
      Notes for unreleased changes go in ./UNRELEASED.md -->
 
-## 0.15.3
-
-### Features
-
-* Checker: Support for CASE without OTHER, see #285
-
-### Bug fixes
-* Type checker: Showing an error on missing annotations CONSTANTs or VARIABLEs, see #705
-
-### Changed
-
-* IR: simplified `SimpleFormalParam` and `OperFormalParam` into `OperParam`, see #656
-* IR: made consistent the names of IR operators (may break JSON compatibility), see #634
-
 ## 0.15.2
 
 ### Features
diff --git a/UNRELEASED.md b/UNRELEASED.md
index 84488f67af..c15e9f5e7f 100644
--- a/UNRELEASED.md
+++ b/UNRELEASED.md
@@ -10,3 +10,14 @@
          * Some bug fix, see #124
 
      DO NOT LEAVE A BLANK LINE BELOW THIS PREAMBLE -->
+### Features
+
+* Checker: Support for CASE without OTHER, see #285
+
+### Bug fixes
+* Type checker: Showing an error on missing annotations CONSTANTs or VARIABLEs, see #705
+
+### Changed
+
+* IR: simplified `SimpleFormalParam` and `OperFormalParam` into `OperParam`, see #656
+* IR: made consistent the names of IR operators (may break JSON compatibility), see #634
diff --git a/mod-distribution/pom.xml b/mod-distribution/pom.xml
index 57a3196737..9b92164a75 100644
--- a/mod-distribution/pom.xml
+++ b/mod-distribution/pom.xml
@@ -8,11 +8,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.3-SNAPSHOT</version>
     </parent>
 
     <artifactId>apalache-pkg</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.3-SNAPSHOT</version>
     <packaging>pom</packaging>
 
     <name>apalache-pkg</name>
diff --git a/mod-infra/pom.xml b/mod-infra/pom.xml
index 23e71e6a6e..ec48261fde 100644
--- a/mod-infra/pom.xml
+++ b/mod-infra/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.3-SNAPSHOT</version>
     </parent>
 
     <artifactId>infra</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.3-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>infra</name>
diff --git a/mod-tool/pom.xml b/mod-tool/pom.xml
index f36f9c98c2..8144085af9 100644
--- a/mod-tool/pom.xml
+++ b/mod-tool/pom.xml
@@ -4,14 +4,14 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.3-SNAPSHOT</version>
     </parent>
 
     <!--
         All command line tooling and option parsing goes here... and nothing else!
     -->
     <artifactId>tool</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.3-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>tool</name>
diff --git a/pom.xml b/pom.xml
index 5246bf8c3b..f554464bd9 100644
--- a/pom.xml
+++ b/pom.xml
@@ -4,7 +4,7 @@
     <groupId>at.forsyte.apalache</groupId>
     <artifactId>apalache</artifactId>
     <packaging>pom</packaging>
-    <version>0.15.4-SNAPSHOT</version>
+    <version>0.15.3-SNAPSHOT</version>
 
     <name>APALACHE project</name>
     <url>https://github.com/informalsystems/apalache</url>
diff --git a/tla-assignments/pom.xml b/tla-assignments/pom.xml
index 77710ac80e..7f630af8d4 100644
--- a/tla-assignments/pom.xml
+++ b/tla-assignments/pom.xml
@@ -3,11 +3,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.3-SNAPSHOT</version>
     </parent>
 
     <artifactId>tla-assignments</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.3-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>tla-assignments</name>
diff --git a/tla-bmcmt/pom.xml b/tla-bmcmt/pom.xml
index 7a19cd1f48..d269c5536e 100644
--- a/tla-bmcmt/pom.xml
+++ b/tla-bmcmt/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.3-SNAPSHOT</version>
     </parent>
 
     <artifactId>tla-bmcmt</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.3-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>tla-bmcmt</name>
diff --git a/tla-import/pom.xml b/tla-import/pom.xml
index 98c63cd58b..a52565318d 100644
--- a/tla-import/pom.xml
+++ b/tla-import/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.3-SNAPSHOT</version>
     </parent>
 
     <artifactId>tla-import</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.3-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>tla-import</name>
diff --git a/tla-pp/pom.xml b/tla-pp/pom.xml
index 8e3560ea9a..d97637d3a2 100644
--- a/tla-pp/pom.xml
+++ b/tla-pp/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.3-SNAPSHOT</version>
     </parent>
 
     <artifactId>tla-pp</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.3-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>tla-pp</name>
diff --git a/tla-types/pom.xml b/tla-types/pom.xml
index c4149a5913..588d235bcb 100644
--- a/tla-types/pom.xml
+++ b/tla-types/pom.xml
@@ -3,11 +3,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.3-SNAPSHOT</version>
     </parent>
 
     <artifactId>tla-types</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.3-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>tla-types</name>
diff --git a/tlair/pom.xml b/tlair/pom.xml
index 9bc65222f5..6b1ac977ef 100644
--- a/tlair/pom.xml
+++ b/tlair/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.3-SNAPSHOT</version>
     </parent>
 
     <artifactId>tlair</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.3-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>tlair</name>