more doc formatting tweaks