Something like that IRS would have caught when the original return was processed, if you are talking about estimated-tax payments.
