gnome-tweak-tool: fixed