A small fix in the Introduction.