Fix typo in Testing algebraic properties