doc formatting tweaks