fixed a typo in timer.py