some changes to the documentation.