Yes, you should file an amended return. It probably won't change the amount you owe or your refund, but the IRS records and your filing will match up and the computers won't kick it out because these two don't match.
I recommending filing an amended return.
