Forgot to commit the change to header file for adding reporting of
total_worker_slots.