I've also experience this bug and found it makes for a very un-proffesional looking desktop for anyone that installs a theme through gnome-theme-manager.
I've also experience this bug and found it makes for a very un-proffesional looking desktop for anyone that installs a theme through gnome-theme- manager.