Right.
There was no change to the refund and/or amount owed. I'm guessing it might be best to file the amendment just to be safe as you don't want to mess with the IRS.
But on the other hand, if it's really not necessary then I'd be happy to avoid standing in a long line for a very long time at the Post Office and paying for the shipping, etc.
