Some docs and formatting tweaks