Manually resynching the version number. Tags are hard.