More revisions to writeup