Final edits presubmission

Final edits to the TeX document. For the actual submission, pandoc will
convert to markdown -> docx.