Fix typing on iOS