Minor fixes in equivalence lists of Rules.