fix bug in new timers: changing the timer interval while the timer is already scheduled had no effect.