Some further minor changes to the intro.