Minor fixes to writeup