Exercised and sold ISOs in same year; tax withheld by employer on portion; how do I capture this in the investment sales flow?

I exercised and sold ISOs in 2018. My employer withheld tax on the amount representing the difference between the sale price and fair market value (x the number of shares). This should be captured on my W2. I'm responsible for reporting the remaining taxable proceeds: the difference between my strike price and fair market value (strike price < fair market value < sale price). When I enter the Investments Sale flow, I'm asked to enter all above price values and number of shares sold, based upon which amount of tax owed is calculated; however, I'm concerned that the fact that my employer already withheld some of the tax I'm responsible for will not be reflected in the computed amount. Will TurboTax recognize the amount already withheld during its calculation or do I need to treat this as a special case?