changed documentation (really minor change)