fix bug in timer.html