[petsc-dev] should plexgeometry.c check for divide by zero?