Correction: Search: Binary Search