Misc improvements to documentation