Update version number for a re-release.
Update version number for a re-release.