Minor fix in the license