More minor edits to introduction