Fix for when binsearch_result was deleted