gnome-desktop-sharp: small tweaks.