diff --git a/.prev-version b/.prev-version
index 95e3ba81..73462a5a 100644
--- a/.prev-version
+++ b/.prev-version
@@ -1 +1 @@
-2.5
+2.5.1
diff --git a/NEWS b/NEWS
index d105f79c..393538c7 100644
--- a/NEWS
+++ b/NEWS
@@ -1,5 +1,7 @@
 GNU Bison NEWS
 
+* Noteworthy changes in release ?.? (????-??-??) [?]
+
 * Noteworthy changes in release 2.5.1 (2012-06-05) [stable]
 
 ** Future changes:
@@ -92,7 +94,7 @@ GNU Bison NEWS
   This includes warnings with some compilers, unexpected behavior of tools
   such as diff, warning messages from the test suite itself, etc.
 
-*** The install-pdf target work properly:
+*** The install-pdf target works properly:
 
   Running "make install-pdf" (or -dvi, -html, -info, and -ps) no longer
   halts in the middle of its course.