Minor changes in style.