After you file

"these forms" doesn't mean the 1040X you just efiled but some other forms may be needed to mail.