Made a few stylistic changes in the source.