Tidying up of the documentation.