fix small bug in config file