Minor formatting tweaks and clarifications.