Additional syntax rule for dosbatch