timer: fix misleading comment in timer.h