Minor tex edits