Doesn't the version number get updated automatically on release?