Various improvements to documentation