fix issue #139: nullpointerexception when a mission is aborted.