diff --git a/NEWS b/NEWS
index 5e7364963..306a1c926 100644
--- a/NEWS
+++ b/NEWS
@@ -1,15 +1,15 @@
-New in spot 2.7.0.dev (not yet release)
+New in spot 2.7.1 (2019-02-14)
 
   Build
 
-  - Work around GCC bug #89303, that causes memory leaks and std::weak_bad_ptr
+  - Work around GCC bug #89303 that causes memory leaks and std::weak_bad_ptr
     exceptions when Spot is compiled with the version of g++ 8.2 currently
     distributed by Debian unstable (starting with g++ 8.2.0-15).
 
   Python:
 
   - The following methods of spot::bdd_dict are now usable in Python when
-    fine controle over the lifetime of associations between BDD variable
+    fine control over the lifetime of associations between BDD variables
     and atomic propositions is needed.
     - register_proposition(formula, for_me)
     - register_anonymous_variables(count, for_me)
@@ -17,8 +17,8 @@ New in spot 2.7.0.dev (not yet release)
     - unregister_all_my_variables(for_me)
     - unregister_variable(var, for_me)
 
-  - Better support for explicit Kripke structures
-    - the kripke_graph type now has bindings
+  - Better support for explicit Kripke structures:
+    - the kripke_graph type now has Python bindings
     - spot.automaton() and spot.automata() now support a want_kripke=True
       to return a kripke_graph
       See the bottom of https://spot.lrde.epita.fr/ipynb/ltsmin-dve.html
diff --git a/configure.ac b/configure.ac
index b908e9075..11464b3cc 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,5 +1,5 @@
 # -*- coding: utf-8 -*-
-# Copyright (C) 2008-2018, Laboratoire de Recherche et Développement
+# Copyright (C) 2008-2019, Laboratoire de Recherche et Développement
 # de l'Epita (LRDE).
 # Copyright (C) 2003-2007 Laboratoire d'Informatique de Paris 6
 # (LIP6), département Systèmes Répartis Coopératifs (SRC), Université
@@ -21,7 +21,7 @@
 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 AC_PREREQ([2.61])
-AC_INIT([spot], [2.7.0.dev], [spot@lrde.epita.fr])
+AC_INIT([spot], [2.7.1], [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 d26292b0d..d03324286 100644
--- a/doc/org/setup.org
+++ b/doc/org/setup.org
@@ -1,11 +1,11 @@
 #+OPTIONS: H:2 num:nil toc:t html-postamble:nil
 #+EMAIL: spot@lrde.epita.fr
 #+HTML_LINK_HOME: index.html
-#+MACRO: SPOTVERSION 2.7
-#+MACRO: LASTRELEASE 2.7
-#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.7.tar.gz][=spot-2.7.tar.gz=]]
-#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-7/NEWS][summary of the changes]]
-#+MACRO: LASTDATE 2018-12-11
+#+MACRO: SPOTVERSION 2.7.1
+#+MACRO: LASTRELEASE 2.7.1
+#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.7.1.tar.gz][=spot-2.7.1.tar.gz=]]
+#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-7-1/NEWS][summary of the changes]]
+#+MACRO: LASTDATE 2019-02-14
 
 #+ATTR_HTML: :id spotlogo
 [[file:spot2.svg]]