fix min monoid names