Some formatting updates and minor editing.