Some formatting tweaks for the documentation