Minor tweak to the Timer class; kind of pointless