Retirement tax questions

The IRS did not pay her.  She sent the IRS a check and the IRS electronically took a payment out of her bank account.  So she ended up paying the tax due twice.