More small changes to introduction.