slight improvements to the writeup.