Small fixes in introduction