Minor formatting changes in response to code review