Corrected Semigroup override.