How to edit a batch file