Fixes a typo in gnome/ini.js.