Repair of assignment-operator overloading