ClockSpec specs fixed