Fixed typos in write-up