* small documentation improvement.