Revisions to writeup