minor fix in config()