And of course, there is no interest if she pays back what she owes by July 15.  If she hopes to apply for permanent residence at some time in her life, it is a good idea to keep a clean record with IRS.  

You can attach as many pages of explanation to a 1040-X as you want, but usually a paragraph is better than a novel.