Fix TCAS bugs