minor edit in introduction