Has she already received the money?  The return might have ended up in the IRS penalty box, and the best way to keep it there would be to quickly file another original return.  Otherwise, it's just like any other amended return.  Paper, and include a check for $1,800.