Hehe, random, hard to reproduce bugs are my favorite. :)
I'll have to reserve some time to make a run or two and try to hit it, but considering it gets fixed after restart this might be a hard one to figure out.
