After you file

It would be wise to mail in a form 8822.