A few improvements in the docs