fix a bug in the config loader