edits to tex