Another simple fix for a failing TestBatchPlanner test case