Small fix of a comment