Thank you for your help. I have obtained the latest gnome-panel from Debian/unstable and the problem has been fixed. Thanks, Adam