Thanks for your bug report. This sounds like the same issue that you have mentioned before, ie. that $timer() may list a timer that has been halted if it is used immediately, in the same instance, after the halt. This is a known issue and is on the to-do list.
