diff --git a/ChangeLog b/ChangeLog
index 484fc6887..c1727ddc5 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-02-07  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* NEWS, configure.ac: Bump version to 0.7.1a
+
 2011-02-07  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Release Spot 0.7.1.
diff --git a/NEWS b/NEWS
index 541abda9e..ca194cc77 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,7 @@
+New in spot 0.7.1a:
+
+  Nothing yet.
+
 New in spot 0.7.1 (2001-02-07):
 
   * The LTL parser will accept operator ~ (for not) as well
diff --git a/configure.ac b/configure.ac
index 918014005..a46804655 100644
--- a/configure.ac
+++ b/configure.ac
@@ -22,7 +22,7 @@
 # 02111-1307, USA.
 
 AC_PREREQ([2.61])
-AC_INIT([spot], [0.7.1], [spot@lrde.epita.fr])
+AC_INIT([spot], [0.7.1a], [spot@lrde.epita.fr])
 AC_CONFIG_AUX_DIR([tools])
 AC_CONFIG_MACRO_DIR([m4])
 AM_INIT_AUTOMAKE([1.11 gnits nostdinc tar-ustar color-tests parallel-tests])