some small changes in the documentation.