Minor final writeup edits