small documentation change