Fix dumb typo in src/timer.c