fix error in Domain.__add__