Fixed an oopsy with navigation.tin.