Last November, the tragic murder of 26 people in the First Baptist Church of Sutherland Springs, Texas shined a light on what appeared to be a grave error in the Air Force’s procedures regarding service members separated for committing violent crimes. The shooter, 26-year-old Devin Patrick Kelley, should have been barred from purchasing the firearm used in the attack after multiple domestic assault convictions under the Uniform Code of Military Conduct, and, in the ensuing investigation, it was revealed that he had even been involuntarily hospitalized by Air Force officials after making threats against the lives of his chain of command.

While there was no question that Kelley’s omission from the FBI’s background check database was an error, the question persisted: was Kelley’s ability to purchase multiple firearms despite his Bad Conduct Discharge due to a simple mistake made by Air Force administration, or were the tragic events in Sutherland Springs the result of systemic issues? According to a report revealed by CNN on Monday, it would appear that the latter was the case. Since November, the Department of Defense has added more than 4,000 names to the list of dishonorably discharged veterans barred from owning firearms — as a frame of reference, that figure represents a nearly 40% increase in the total number of veterans listed.

It comes as no surprise that the military has added more names to the list of veterans that are not eligible to purchase firearms, of course. As SOFREP surmised at the time, one factor that likely enabled Kelley’s omission from the FBI database was a simple matter of semantics. A conviction for domestic abuse such as Kelley’s should bar someone from purchasing a firearm, but a conviction for regular assault charges does not draw any such distinction under civilian law. Because the Uniform Code of Military Justice does not establish a clear distinction between domestic assault and otherwise, the clerks responsible for Kelley’s case likely did not know they needed to inform the FBI of his conviction.

That explanation does not excuse the error, but does shine some light on how such a dangerous individual may have been able to slip through the cracks, and points to an important change of procedure being necessary to avoid such mistakes in the future. However, the addition of 4,000 names to the list of dishonorably discharged veterans barred from purchasing firearms per the FBI’s database in the months since seem to indicate broader issues than miscommunications involving assault — especially since that figure represents dishonorable discharges, and doesn’t even appear to include those given Bad Conduct discharges like Kelley.