Re: [petsc-users] [petsc-maint] small problems