diff --git a/NEWS b/NEWS
index 455b8f466..79a38d4a6 100644
--- a/NEWS
+++ b/NEWS
@@ -1,4 +1,4 @@
-New in spot 0.8.3a:
+New in spot 0.9 (2012-05-09):
 
   * New features:
     - Operators from the linear fragment of PSL are supported.  This
@@ -29,7 +29,7 @@ New in spot 0.8.3a:
     - A new direct simulation reduction has been implemented.  It
       works directly on TGBAs.  It is in src/tgbaalgos/simlation.hh,
       and it can be tested via ltl2tgba's -RDS option.
-    - unabbreviate_wm() is a function that rewrite the W and M operators
+    - unabbreviate_wm() is a function that rewrites the W and M operators
       of LTL formulae using R and U.  This is called whenever we output
       a formula in Spin syntax.  By combining this with the aforementioned
       PSL rewriting rules, many PSL formulae that use simple SERE can be
diff --git a/configure.ac b/configure.ac
index b3414bae4..095b8a8ed 100644
--- a/configure.ac
+++ b/configure.ac
@@ -22,7 +22,7 @@
 # 02111-1307, USA.
 
 AC_PREREQ([2.61])
-AC_INIT([spot], [0.8.3a], [spot@lrde.epita.fr])
+AC_INIT([spot], [0.9], [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])