Minor formatting changes.