minor edits to .tex
minor edits to .tex