House lawmakers want to give the U.S. Capitol Police a nearly $30 million budget boost, in part to “enhance” security for lawmakers.

Republican appropriators announced the increase in a legislative branch funding bill released Thursday morning, about a week after lawmakers, staff and police were injured when a man opened fire on a GOP baseball practice in Alexandria.