Minute changes to writeup

A few changes and elaborations to the writeup.