small fix for iOS 5 sdk