yet another minor timer fix