Minor formatting changes in the code.