What I mind is that the rest of D.C. is also a de facto gun free zone because of the unwillingness of the D.C. government to issue concealed carry permits or recognize out of state permits.
Until that gets fixed, the question of the Capitol remaining a gun-free zone is moot.
Shall not be abridged