iOS: Fixed NavigationManager bugs after Android changes.

Related to issue #405.