Fixing a bug relating to setting global configuration settings