* More correctness and documentation for approachAutonav.