CNN is reporting that the U.S. military has added more than 4,000 names of dishonorably discharged service members to a national background check system since the Texas church shooting.

Devin Kelley had been court-martialed in 2012 for assaulting his wife and stepson, and as a result, should have been blocked from purchasing a firearm, however, the military failed to submit his records to the FBI’s background check system.

Now, the Department of Defense has worked to update the FBI’s background check system.