minor tex edits