CODE: Minor formatting changes