Made navigation example work again in 0.9-work branch