Frontend-GNOME: fixed bugged merge