fix issue #1, misbehaving infinite timer