iOS: a couple small bug fixes