very small changes in documentation