Tex stuff.