Minor bugfix in equiv analysis.