[dnanian]

As you've seen above, it doesn't always do that, jdh: unfortunately, TM is opaque enough that it's hard to know why it might do that in some cases, and work differently in others...