when you took the 401(k) distribution, there was an ESTIMATE withheld of how much taxes were due.
When you filed your taxes, you calculated EXACTLY how much tax was due and would have subtracted the estimate to arrive at the final tax due.
unlikely you paid taxes twice
