More formatting fixes in docs