Misc improvements for the docs