couple small API changes to petsc-dev