I think you have already decided.
"It appears these numbers will result in an additional small refund that I really don't care about."
IRS will match these up to the return, and then compute the tax, which in your case appears to be $80 income and some deductions, and if nothing is missing you probably will not hear and will miss out on a small refund.
If you do decide to file an amended return here are the instructions.
https://ttlc.intuit.com/replies/3288565
