Updated to Gnome 3.10.1. Fixes #19