Fix error detected by Jenkins on quick_search