Updates to navigation.tin