Some changes to the introduction.