A few stylistic tweaks.