diff --git a/RELEASING b/RELEASING
index cfa03b6..5f51b73 100644
--- a/RELEASING
+++ b/RELEASING
@@ -7,12 +7,13 @@
        git commit -am 'mark this 1.5.0.git'
 4. git checkout release; git merge master
 5. fix version number in src/version.cc (it will likely conflict in the above)
-6. commit, tag, push (don't forget to push --tags)
+6. fix version in doc/manual.asciidoc (exists only on release branch)
+7. commit, tag, push (don't forget to push --tags)
        git commit -am v1.5.0; git push origin release
        git tag v1.5.0; git push --tags
        # Push the 1.5.0.git change on master too:
        git checkout master; git push origin master
-7. construct release notes from prior notes
+8. construct release notes from prior notes
    credits: git shortlog -s --no-merges REV..
 
 Release on github: