Edits to TeX file