Fix a bug in reading config.txt