[petsc-dev] I think PetscPreStage() should pass the stage number, not just the time