Tiny nasty bug fix, which cause problems with iOS version checking