Minor fix of comment of the option