correct minor oversight in documentation