Changes to writeup