A small optimalization in the search.