Fix bug in Tbb patch