This is not a big deal. Every Congress puts this up as an amendment, every year.
But it would be a great PR tool - if the Republicans would seize on it.....as if they ever would.