Some small improvements to the documentation