Changes to writeup.