Almost final fixes to abstract and introduction.