Small changes in documentation