small fixes for iOS