Minor writeup edits