minor edits in introduction