some minor changes in the style