Cleaned up the extension code according to the GNOME JavaScript Style Guide