Typo in sec_equality-semigroups