Fix bug in Coeffmod_OMS_element's __cmp__ method.