Corrections to Binary Search