Minor changes to tex