fix error in petsc4py instructions