Quick fixes for iOS.
Updated MobileNavigationManager following changes on iOS. Related to issue #408.