minor edit in terminology