Fixed typos in some writeups