Minor fix on comment