fix for timer_counters