Merge "Quick fix: fix bug when using binary search," into main