small changes in documentation