(DAL backend) Small fix to processor allocation