Minor tweak for ios