The tax withholding doesn’t matter or figure into it. You received the full distribution in box 1. Just that part of it went to withholding. Like if you had received the full amount and made an estimated payment to the IRS. The withholding was for you.
