fix tcc specification