Minor formatting fixes in docs