fixed bugs in OldMonoid