Good point. The paper filed 1040X doesn't have one, though.
Perhaps print a new 1040 V with the correct amount, or have it debited. That should be allowed.
