Minor grammatical fix to a comment