Fixing typos

A minor typo fix in the comments.