Fixes to introduction