Fix typo in timer.pl