small bug in petsc