updating monoid files