So deepcopy doesn't work correctly here with PETSc?