Minor formatting fixes to documentation