CRASH/OPT fix (quick to review)

Actually it should be  "does not know"