accidentally removed a required copy constructor