small change in documentation