Final edits to writeup