a few changes in style.