Edits to tex