Merge "Fix bug where the setConfig method in SynthProxy has the wrong signature."