minor additions to writeup