[petsc-users] make check error?