bugfix in configparser