Fix clock-timers.h and corresponding test.