a few stylistic changes in the text