correction batch file