The official answer is that you should amend your return.
Just my opinion, the amount that your tax would change is so small I would consider not amending and just pay the IRS the additional tax when they discover the error and ask you for payment. Again, I am not recommending that. Just my view.