Typos in coproduct section.