I probably could have gotten him another $300 but I didn’t know how to go back to the pages I needed to see. I could probably do a 1040X but I think he’s happy with it, so I won’t worry about it until he brings it up. He had to pay last year, so this is good.
As long as you don’t attract the attention of the IRS!