fix a couple of typos in the comments