minor tweak of style