Fix some violations of Monoid laws.