Minor fix in intro.