Various small patches to the docs