Oops, minor fix to tex stuff