Bugfix in timer.py.