solves a bug on gnome shell