Revisions to Tex file