Further improvements to the documentation