Comment 12 for bug 1307746

The attached patch seems to fix the crash in 14.04 LTS on one of my computers where I saw the crash.

In a VM I didn't even have the crash.