tex_exact_corner was not done before