some more indentation fixing in 'configs.js'