Minor formatting changes made.