Minor changes to Introduction