Minor fix to Timer