minor changes in batch_render.py