Bug fix for changed names of some configuration settings