little bug fixed in ClockManager