Further minor formatting changes.