Is `Timer.run` needed here?