Misc changes to tex