And similar copy constructor code below...