fixed tet output bug