Small fixes to the abstract and intro.