minor adjustment of style