fix a bug in config.ini