Minor improvements in introduction