Minor improvements to the docs