Minor fix for comment