[#2300] minor fixes related to the move to server_config.json