Minor formatting and typo fixes to the docs