Fix typos in a comment added earlier