various typos in ios.json