Minor fix in paper