Some improvements to the documentation