Updates to writeup