minor fixes for iOS