Minor fixes in introduction