Fix bugs in tabu search.