corrected typos in writeup