fix gnome-desktop-sharp mistake