A fix for Elegant-Gnome theme