minor modifs in Optimum_search