Thanks for the reply. I had hoped I could submit the 1040-X for her via e-filing, but it does look like your suggestion will be the simplest. I've already generated a correct 1040 for her using TurboTax, so I'll head to IRS.gov next for the downloads.
