The disruption was caused by a glitch in an air safety tool called Notice to Air Missions or Notam.