small corrections on the style file