Some LaTeX edits