Small doc formatting tweaks