minor editings