A minor grammar error in a comment