While it looks like a programming error on the IRS side, the most efficient way to deal with it is to amend. Sending a letter means that someone has to open the letter and read it and that might take months to actually happen.
