this should fix the timer.c output