Fixed a little bug in the batch file test