Bugfix for PETSc 3.2