Correct some default settings (including PROCESSORS)