Fixes a bug with gnome's ini.js.