Small edits to Introduction.