Fix benchmark.py