Fix TCAS printing.