Introduce the copy constructor