Minor bug in config file