Correction of a mistake in the constructor of copy