Revisions to writeup.