binary_search bug fixed