Documentation formatting tweaks