Very minor formatting changes.