some bug about tarjan