Still in Maverick, 10 months later.
Running gnome-panel --reload also fixes the problem (as well as logging out and in).
Still in Maverick, 10 months later.
Running gnome-panel --reload also fixes the problem (as well as logging out and in).