Corrected a bug in the tabu implementation.