Updates to tex files