Small fix in .bat script