Fix a bug in the release process documentation.