Some improvements in the docs