minor edits to batch files