Fix: crash on bucketCrash after boxtree.finalize is called.