small changes in the documentation