[petsc-users] Spock error