A few corrections in the tracking algorithm (solver.c)