Minor fix in the introduction