[TimerList] cosmetic tweak.