Fix crash

... not sure it reports what we really want though ...