doc: more formatting tweaks.