Fix a small (not influent) bug in the backtrace algorithm