Update benchmarking.py

Fixed #15