Get your taxes done using TurboTax

The amount withheld should have been reported on the 1099-R. You got credit for that and it was rolled into the overall calculation of your tax to determine if you overpaid or underpaid for the year.