Fixed a bug in inform function of settings.js