Wasn’t implying they were TB; the dock has DP + USB-C (w/ DP alt mode) — those were the monitors connected to the dock (one via DP-DP, one via USB—C-DP cable. The one that ‘fixed’ it was the DP-DP cable)