Touch up binarySearchPRO, documentation