Small changes to the version checker