minor revision of style