(fixing a bug with "sanity_check_failed")