fixes missing default initialization for num_workers