a minor fix in config