Remove a misleading comment from binary_search