Minor fixes to introduction