Added compatibility w/ Gnome 3.8, python code formatted