Fixes some code examples for navigation tutorial