iOS: Yet more bug fixes related to the new MobileNavigationManager.