Minor formatting changes and typos fixed