Get your taxes done using TurboTax

the w-2 s are correct you will indicate through reporting the 1099-SA that the excess was withdrawn