Comment 4 for bug 1102507

I've had the same bug on Ubuntu 13.04 64 bit, I worked around it by using:
$ sudo service network-manager restart
instead of
$ sudo service networking restart