fix silly bugs in .bat files