fix tsc bug