more minor fixes to writeup