More formatting fixes (it's not markdown)