Minor formatting changes made