Fixing bug in config ref synthesis