bug correction in ConfigParser