gnome-panel: a few tweaks, to be in sync.