added fixes for two annoying gnome bugs