Yup, we shouldn't be mangling the version in the pull request.