Fixup the Monoid -> Semigroup change