Re: [petsc-dev] anyone feel like fixing a bug?