The U.S. military has been getting a lot of heat ever since November, when Devin Kelley went into a church in Sutherland Springs, Texas and began shooting at the people inside. That’s because of their failure to put Kelley’s name into the federal database, showing gun dealers he was not able to purchase firearms.

Previously, Kelley pled guilty in 2012 for assaulting both his wife and stepson. According to protocol, the background check system was to prevent Kelley from obtaining firearms in the future. However, the Air Force did not submit Kelley’s records to the FBI background check system.

Since then, the Department of Defense has been updating the FBI’s background check system, adding the names of more than 4,000 service members (all who have a dishonorable discharge) into the database.

The shooting has also been motivation for lawmakers to instill brand new legislation. The hope is that this new legislation will strengthen the background check system.

For instance, one bipartisan bill makes it a requirement for states and agencies to create plans they will follow for sending records to the National Instant Background Check System. The plan must also include checking that this information is correct, and that the system shows that the person is prohibited from buying a firearm.

According to The Hill:

Another proposal in response to the shooting was aimed at eliminating the loophole that allowed Kelly to purchase a gun. It would require that the military report domestic violence convictions that were handled through court-martial to the background check system.