Remove some debugging code from Configuration.