Merge pull request #7926 from svigneux/patch-2

Update batch.md