More doc formatting tweaks