Improvements to the documentation