Minor changes in binarySearchPRO