Fix for GNOME 3.14