Fix tex mistake.