Tomorrow I'll go look it back up, but looks like what he did was this:
Instead of paying federal taxes, he payed the entirely of his taxes at the local levels.
Now he's going back & paying federal taxes... and as a result, going to file to have returned to him the overpayment which he made at the time they were paid to the local folks.