Fix small derp in TE