Comment 3 for bug 801829

Hi Michael, thanks for your report. This issue has been reported already and we are tracking it at bug 772549, and so I will mark this one as a duplicate of that. Please check bug 772549 for details on the workaround (rebooting is indeed one option ;) and to track the status of the fix. Also, if you have any additional comments please make them there.

Thanks again for your help!