After you file

Hi.  You are correct.  You need to print your 1040NR from the Sprintax website and send it to the IRS along with your amended return.  You may need to return some of the money you received from the 1040 you filed.