Minor corrections of style