Comment 1 for bug 1378339

I also saw this error several times in trunk (last one was in r7194 on Win7). I have no backtrace, but the stdout ended with the same lines. Not that in bug 1342554, several people reported about similar issues (especially comment #3).