Various edits to tex files