document --batch option