fix bug in assigning executors to workers that left some executors unassigned due to rounding error
typo