Fix a version number in the release process documentation.