bug fix in timers_example.c