minor edits of batch files