A bug that crashed Gnome Shell