Update src/batch/Batch.cpp