Comment 3 for bug 533325

Hopefully fixed in trunk revision 5008. (It's hard to reproduce and the fix necessarily causes the replay to go out of sync, so there may be a related problem that I haven't found)