Comment by dennis_moore

Ah yes, it can be quite fun chasing down heisenbugs like that, half sarcastically :)