The U.S. Air Force failed to report Texas church shooter Devin Kelley’s misdemeanor domestic violence charge to the FBI allowing him legally purchase firearms.

The U.S. Armed Forces are required to report dishonorable discharges and misdemeanor assault charges to the FBI’s National Instant Criminal Background Check System, that in turn would alert a firearms seller to deny purchase to any such offender.