One more PetscInt.