navigator/mission.cpp: indentation fixed