Some work on the documentation.