cleaner petsc4py modification