bugfix for bat script