BUGFIX: webworker not getting shutdown on finish (introduced by b2fe8d2f7d453e06db60c054768f571093d983d5)