Some small improvements to the docs