I just talked to the IRS help line -- they said that since there are no changes in the taxes owed and no refund involved, there is no need to file an amended return at this time. But instead, wait to see if they ask for one at some future time.
