Minor formatting updates.