Fix small typo and remove (comment) unused timer_stop function