iOS: minor fix