tiny fix for Timer