some minor updates in tabu search pseudo code