IRS thinks there's a mistake in my 1040 regarding additional withholding box 25c

IRS thinks there's a mistake in my 1040 regarding additional withholding box 25c, it thinks it should be 0, while TurboTax has put a number there.

 

I followed TurboTax's math - this number comes from box 24 on my 8959, which is calculated from boxes 19-22, and the math seems to be correct based on what I read in https://www.irs.gov/pub/irs-pdf/i8959.pdf .

 

Has anyone encountered this problem before? What should I do?