Fixed a few minor typos in the writeup