Fix tc_over