Bug in Binary Search - Computerphile