More small edits to the intro.