Fixes to abstract and intro