fix a bug in config.c