Some improvements to documentation