fix a bad verification on Timer::elapsed