Minor formatting and other corrections.