fixed a bug I saw in TE