fixes wrong thread counter in bench tools