Minor changes in style