Documentation formatting and tweaks