Comment 6 for bug 697095

Low priority, as this only seems to happen on logout. Seb and I had a quick look at the code, and there's nothing obvious sticking out, so this requires some in-depth debugging. It's not easy to reproduce unfortunately.