done with revisions motivated by update to petsc 3.5