I think I smell and Iron Man Joke.

But incase I am wrong what you should do will depend on the dollar amount of the shortage.

If it is a major amount file an amended return.

If it is a small  amount wait untill the IRS Sends them the notice and then have them pay to bill.