Type correction in worker.c.