Minor modifications to benchmark.py file