changes to petsc io documentation