small documentation improvement