Fix gnome stupidity