Correct the version of Batch that's checked out