Fix timerlist.py