fix tsc output bug