Re: [petsc-dev] please review this patch