Minor fix in binary_search

Changed it to use read_single_value instead of
* operator