Is it a mistake"Tco_ext = Tsu of external device"

hello, I learned a lot from the "TimeQuest User Guide" edited by Rysc. But I was confused that the Tco_ext has different expression on page 20 and page 21 as follows: P20 External device pa...