Doc work

Improvements to the documentation.