minor corrections in style