Small fix in the Introduction