A small documentation improvement