This seems to be resolved after updating, so that fix will probably make it into the Ubuntu Gnome Saucy final distro build.
This seems to be resolved after updating, so that fix will probably make it into the Ubuntu Gnome Saucy final distro build.