Comment 4 for bug 1019708

Big thank you, both of you. I was going crazy trying to find out the cause as I normally reboot only after a kernel update, and that was the last thing on my mind to try it. Fixed for me, too (12.04 / 13.0.1+build1-0ubuntu0.12.04.1).