Fix string interpolation in coproduct codec