diff --git a/NEWS b/NEWS
index 0b148c7e6..91b3a8918 100644
--- a/NEWS
+++ b/NEWS
@@ -1,4 +1,4 @@
-New in spot 2.0.2a (not yet released)
+New in spot 2.0.3a (not yet released)
 
   Command-line tools:
 
@@ -80,21 +80,23 @@ New in spot 2.0.2a (not yet released)
   * A new example page shows how to test the equivalence of
     two LTL/PSL formulas.  https://spot.lrde.epita.fr/tut04.html
 
+New in spot 2.0.3 (2016-07-11)
+
   Bug fixes:
 
   * The degen-lcache=1 option of the degeneralization algorithm (which
     is a default option) did not behave exactly as documented: instead
     of reusing the first level ever created for a state where the
-    choice of the level is free, it used the last level used.  This
-    caused some posterior simulation-based reductions to be less
+    choice of the level is free, it reused the last level ever used.
+    This caused some posterior simulation-based reductions to be less
     efficient at reducing automata (on the average).
-  * The generalized testing automata displayed by the on-line
+  * The generalized testing automata displayed by the online
     translator were incorrect (those output by ltl2tgta were OK).
   * ltl2tgta should not offer options --ba, --monitor, --tgba and such.
   * the relabel() function could incorrectly unregister old atomic
-    propositions even if they are still used in the output (e.g., if
-    a&p0 is relabeled to p0&p1).  This could cause ltldo and on-line
-    translator to report errors.
+    propositions even when they were still used in the output (e.g.,
+    if a&p0 is relabeled to p0&p1).  This could cause ltldo and the
+    online translator to report errors.
 
 New in spot 2.0.2 (2016-06-17)
 
diff --git a/configure.ac b/configure.ac
index 3cd608570..27dc42b40 100644
--- a/configure.ac
+++ b/configure.ac
@@ -21,7 +21,7 @@
 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 AC_PREREQ([2.61])
-AC_INIT([spot], [2.0.2a], [spot@lrde.epita.fr])
+AC_INIT([spot], [2.0.3a], [spot@lrde.epita.fr])
 AC_CONFIG_AUX_DIR([tools])
 AC_CONFIG_MACRO_DIR([m4])
 AM_INIT_AUTOMAKE([1.11 gnu tar-ustar color-tests parallel-tests])
diff --git a/doc/org/setup.org b/doc/org/setup.org
index db227b7b2..357b679f0 100644
--- a/doc/org/setup.org
+++ b/doc/org/setup.org
@@ -1,8 +1,8 @@
 #+OPTIONS: H:2 num:nil toc:t html-postamble:nil
 #+EMAIL: spot@lrde.epita.fr
 #+HTML_LINK_HOME: index.html
-#+MACRO: SPOTVERSION 2.0.2
-#+MACRO: LASTRELEASE 2.0.2
-#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.0.2.tar.gz][=spot-2.0.2.tar.gz=]]
-#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-0-2/NEWS][summary of the changes]]
-#+MACRO: LASTDATE 2016-06-17
+#+MACRO: SPOTVERSION 2.0.3
+#+MACRO: LASTRELEASE 2.0.3
+#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.0.3.tar.gz][=spot-2.0.3.tar.gz=]]
+#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-0-3/NEWS][summary of the changes]]
+#+MACRO: LASTDATE 2016-07-11