fixes a webkit worker issue #10