Fix batch.sh