fixed bug in covertree monoid