Comment by DenGorbachev

(fixing a bug with "sanity_check_failed")