I think I found the same bug in the gnome-games bugtracker at https://bugzilla.gnome.org/show_bug.cgi?id=675628
I think I found the same bug in the gnome-games bugtracker at https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 675628