Correct some minor typos in a comment