Minor iOS fix