Very small documentation changes to pilot.h