A few typos in this comment