Add correct implementation for class Timer