minor fixes on reverse invariant rule