Minor corrections in the intro text.