Comment 4 for bug 1017874

Up to now this only happened once with my current system configuration. However, I'm wondering if this has the same root cause as the other bug I hit previously:

https://bugs.launchpad.net/bugs/1003096

In any case, I've run a memory test and it does not report any error.