[PATCH 2/2] delta_workers should probably be an IntOption also.