User workers_size instead of workers.size for better performance.

This is related to 32f010da68b80e0993834098775c8e279c2b6017.