These four amendments snuck into the Senate defense authorization bill