Good point about the driver... Anyway, would it be more helpful to file a proper bug report? I'd assume it would, but if it is not at least 80% reproduceable, it wouldn't be much worth it. I'm planning on testing the Windows version and see if this also happens there...