Re: [petsc-dev] tiny issues in test harness