remove some outdated comments in navigation.c