More work on the documentation.