Small fix in introduction