fixing typos in writeup