Minor formatting changes, typo fixing