fixing TCK