minor changes in style