fix web-worker.html