Very small fixes to the new search