Fixes in introduction.