minor modification of style